<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><link rel="stylesheet" type="text/css" href="style.css" /><script type="text/javascript" src="highlight.js"></script></head><body><pre><span id="local-6989586621679625768"><span id="local-6989586621679625769"><span id="local-6989586621679625770"><span id="local-6989586621679625771"></span></span></span></span><span class="hs-pragma">{-# LANGUAGE DeriveDataTypeable #-}</span><span>
</span><span id="line-2"></span><span class="hs-pragma">{-# LANGUAGE DeriveGeneric #-}</span><span>
</span><span id="line-3"></span><span class="hs-pragma">{-# LANGUAGE DeriveFunctor #-}</span><span>
</span><span id="line-4"></span><span class="hs-pragma">{-# LANGUAGE DeriveFoldable #-}</span><span>
</span><span id="line-5"></span><span class="hs-pragma">{-# LANGUAGE DeriveTraversable #-}</span><span>
</span><span id="line-6"></span><span class="hs-pragma">{-# LANGUAGE ScopedTypeVariables #-}</span><span>
</span><span id="line-7"></span><span>
</span><span id="line-8"></span><span class="hs-keyword">module</span><span> </span><span class="hs-identifier">Distribution.Types.CondTree</span><span> </span><span class="hs-special">(</span><span>
</span><span id="line-9"></span><span>    </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier">CondTree</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-10"></span><span>    </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier">CondBranch</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-11"></span><span>    </span><span class="annot"><a href="Distribution.Types.CondTree.html#condIfThen"><span class="hs-identifier">condIfThen</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-12"></span><span>    </span><span class="annot"><a href="Distribution.Types.CondTree.html#condIfThenElse"><span class="hs-identifier">condIfThenElse</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-13"></span><span>    </span><span class="annot"><a href="Distribution.Types.CondTree.html#mapCondTree"><span class="hs-identifier">mapCondTree</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-14"></span><span>    </span><span class="annot"><a href="Distribution.Types.CondTree.html#mapTreeConstrs"><span class="hs-identifier">mapTreeConstrs</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-15"></span><span>    </span><span class="annot"><a href="Distribution.Types.CondTree.html#mapTreeConds"><span class="hs-identifier">mapTreeConds</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-16"></span><span>    </span><span class="annot"><a href="Distribution.Types.CondTree.html#mapTreeData"><span class="hs-identifier">mapTreeData</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-17"></span><span>    </span><span class="annot"><a href="Distribution.Types.CondTree.html#traverseCondTreeV"><span class="hs-identifier">traverseCondTreeV</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-18"></span><span>    </span><span class="annot"><a href="Distribution.Types.CondTree.html#traverseCondBranchV"><span class="hs-identifier">traverseCondBranchV</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-19"></span><span>    </span><span class="annot"><a href="Distribution.Types.CondTree.html#traverseCondTreeC"><span class="hs-identifier">traverseCondTreeC</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-20"></span><span>    </span><span class="annot"><a href="Distribution.Types.CondTree.html#traverseCondBranchC"><span class="hs-identifier">traverseCondBranchC</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-21"></span><span>    </span><span class="annot"><a href="Distribution.Types.CondTree.html#extractCondition"><span class="hs-identifier">extractCondition</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-22"></span><span>    </span><span class="annot"><a href="Distribution.Types.CondTree.html#simplifyCondTree"><span class="hs-identifier">simplifyCondTree</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-23"></span><span>    </span><span class="annot"><a href="Distribution.Types.CondTree.html#ignoreConditions"><span class="hs-identifier">ignoreConditions</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-24"></span><span class="hs-special">)</span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-25"></span><span>
</span><span id="line-26"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../base/src/Prelude.html#"><span class="hs-identifier">Prelude</span></a></span><span> </span><span class="hs-special">(</span><span class="hs-special">)</span><span>
</span><span id="line-27"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="Distribution.Compat.Prelude.html"><span class="hs-identifier">Distribution.Compat.Prelude</span></a></span><span>
</span><span id="line-28"></span><span>
</span><span id="line-29"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="Distribution.Types.Condition.html"><span class="hs-identifier">Distribution.Types.Condition</span></a></span><span>
</span><span id="line-30"></span><span>
</span><span id="line-31"></span><span class="hs-keyword">import</span><span> </span><span class="hs-keyword">qualified</span><span> </span><span class="annot"><a href="Distribution.Compat.Lens.html"><span class="hs-identifier">Distribution.Compat.Lens</span></a></span><span> </span><span class="hs-keyword">as</span><span> </span><span class="annot"><span class="hs-identifier">L</span></span><span>
</span><span id="line-32"></span><span>
</span><span id="line-33"></span><span>
</span><span id="line-34"></span><span class="hs-comment">-- | A 'CondTree' is used to represent the conditional structure of</span><span>
</span><span id="line-35"></span><span class="hs-comment">-- a Cabal file, reflecting a syntax element subject to constraints,</span><span>
</span><span id="line-36"></span><span class="hs-comment">-- and then any number of sub-elements which may be enabled subject</span><span>
</span><span id="line-37"></span><span class="hs-comment">-- to some condition.  Both @a@ and @c@ are usually 'Monoid's.</span><span>
</span><span id="line-38"></span><span class="hs-comment">--</span><span>
</span><span id="line-39"></span><span class="hs-comment">-- To be more concrete, consider the following fragment of a @Cabal@</span><span>
</span><span id="line-40"></span><span class="hs-comment">-- file:</span><span>
</span><span id="line-41"></span><span class="hs-comment">--</span><span>
</span><span id="line-42"></span><span class="hs-comment">-- @</span><span>
</span><span id="line-43"></span><span class="hs-comment">-- build-depends: base &gt;= 4.0</span><span>
</span><span id="line-44"></span><span class="hs-comment">-- if flag(extra)</span><span>
</span><span id="line-45"></span><span class="hs-comment">--     build-depends: base &gt;= 4.2</span><span>
</span><span id="line-46"></span><span class="hs-comment">-- @</span><span>
</span><span id="line-47"></span><span class="hs-comment">--</span><span>
</span><span id="line-48"></span><span class="hs-comment">-- One way to represent this is to have @'CondTree' 'ConfVar'</span><span>
</span><span id="line-49"></span><span class="hs-comment">-- ['Dependency'] 'BuildInfo'@.  Here, 'condTreeData' represents</span><span>
</span><span id="line-50"></span><span class="hs-comment">-- the actual fields which are not behind any conditional, while</span><span>
</span><span id="line-51"></span><span class="hs-comment">-- 'condTreeComponents' recursively records any further fields</span><span>
</span><span id="line-52"></span><span class="hs-comment">-- which are behind a conditional.  'condTreeConstraints' records</span><span>
</span><span id="line-53"></span><span class="hs-comment">-- the constraints (in this case, @base &gt;= 4.0@) which would</span><span>
</span><span id="line-54"></span><span class="hs-comment">-- be applied if you use this syntax; in general, this is</span><span>
</span><span id="line-55"></span><span class="hs-comment">-- derived off of 'targetBuildInfo' (perhaps a good refactoring</span><span>
</span><span id="line-56"></span><span class="hs-comment">-- would be to convert this into an opaque type, with a smart</span><span>
</span><span id="line-57"></span><span class="hs-comment">-- constructor that pre-computes the dependencies.)</span><span>
</span><span id="line-58"></span><span class="hs-comment">--</span><span>
</span><span id="line-59"></span><span id="local-6989586621679625753"><span id="local-6989586621679625754"></span></span><span class="hs-keyword">data</span><span> </span><span id="CondTree"><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-var">CondTree</span></a></span></span><span> </span><span id="local-6989586621679626396"><span class="annot"><a href="#local-6989586621679626396"><span class="hs-identifier hs-type">v</span></a></span></span><span> </span><span id="local-6989586621679626395"><span class="annot"><a href="#local-6989586621679626395"><span class="hs-identifier hs-type">c</span></a></span></span><span> </span><span id="local-6989586621679626394"><span class="annot"><a href="#local-6989586621679626394"><span class="hs-identifier hs-type">a</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span id="CondNode"><span class="annot"><a href="Distribution.Types.CondTree.html#CondNode"><span class="hs-identifier hs-var">CondNode</span></a></span></span><span>
</span><span id="line-60"></span><span>    </span><span class="hs-special">{</span><span> </span><span id="condTreeData"><span class="annot"><span class="annottext">forall v c a. CondTree v c a -&gt; a
</span><a href="Distribution.Types.CondTree.html#condTreeData"><span class="hs-identifier hs-var hs-var">condTreeData</span></a></span></span><span>        </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="#local-6989586621679626394"><span class="hs-identifier hs-type">a</span></a></span><span>
</span><span id="line-61"></span><span>    </span><span class="hs-special">,</span><span> </span><span id="condTreeConstraints"><span class="annot"><span class="annottext">forall v c a. CondTree v c a -&gt; c
</span><a href="Distribution.Types.CondTree.html#condTreeConstraints"><span class="hs-identifier hs-var hs-var">condTreeConstraints</span></a></span></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="#local-6989586621679626395"><span class="hs-identifier hs-type">c</span></a></span><span>
</span><span id="line-62"></span><span>    </span><span class="hs-special">,</span><span> </span><span id="condTreeComponents"><span class="annot"><span class="annottext">forall v c a. CondTree v c a -&gt; [CondBranch v c a]
</span><a href="Distribution.Types.CondTree.html#condTreeComponents"><span class="hs-identifier hs-var hs-var">condTreeComponents</span></a></span></span><span>  </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">[</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626396"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626395"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626394"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">]</span><span>
</span><span id="line-63"></span><span>    </span><span class="hs-special">}</span><span>
</span><span id="line-64"></span><span>    </span><span class="hs-keyword">deriving</span><span> </span><span class="hs-special">(</span><span id="local-6989586621679625736"><span id="local-6989586621679625738"><span id="local-6989586621679625747"><span class="annot"><span class="annottext">Int -&gt; CondTree v c a -&gt; ShowS
[CondTree v c a] -&gt; ShowS
CondTree v c a -&gt; String
(Int -&gt; CondTree v c a -&gt; ShowS)
-&gt; (CondTree v c a -&gt; String)
-&gt; ([CondTree v c a] -&gt; ShowS)
-&gt; Show (CondTree v c a)
forall a.
(Int -&gt; a -&gt; ShowS) -&gt; (a -&gt; String) -&gt; ([a] -&gt; ShowS) -&gt; Show a
forall v c a.
(Show a, Show c, Show v) =&gt;
Int -&gt; CondTree v c a -&gt; ShowS
forall v c a. (Show a, Show c, Show v) =&gt; [CondTree v c a] -&gt; ShowS
forall v c a. (Show a, Show c, Show v) =&gt; CondTree v c a -&gt; String
showList :: [CondTree v c a] -&gt; ShowS
$cshowList :: forall v c a. (Show a, Show c, Show v) =&gt; [CondTree v c a] -&gt; ShowS
show :: CondTree v c a -&gt; String
$cshow :: forall v c a. (Show a, Show c, Show v) =&gt; CondTree v c a -&gt; String
showsPrec :: Int -&gt; CondTree v c a -&gt; ShowS
$cshowsPrec :: forall v c a.
(Show a, Show c, Show v) =&gt;
Int -&gt; CondTree v c a -&gt; ShowS
</span><a href="../../base/src/GHC.Show.html#Show"><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var">Show</span></a></span></span></span></span><span class="hs-special">,</span><span> </span><span id="local-6989586621679625726"><span id="local-6989586621679625733"><span class="annot"><span class="annottext">CondTree v c a -&gt; CondTree v c a -&gt; Bool
(CondTree v c a -&gt; CondTree v c a -&gt; Bool)
-&gt; (CondTree v c a -&gt; CondTree v c a -&gt; Bool)
-&gt; Eq (CondTree v c a)
forall a. (a -&gt; a -&gt; Bool) -&gt; (a -&gt; a -&gt; Bool) -&gt; Eq a
forall v c a.
(Eq a, Eq c, Eq v) =&gt;
CondTree v c a -&gt; CondTree v c a -&gt; Bool
/= :: CondTree v c a -&gt; CondTree v c a -&gt; Bool
$c/= :: forall v c a.
(Eq a, Eq c, Eq v) =&gt;
CondTree v c a -&gt; CondTree v c a -&gt; Bool
== :: CondTree v c a -&gt; CondTree v c a -&gt; Bool
$c== :: forall v c a.
(Eq a, Eq c, Eq v) =&gt;
CondTree v c a -&gt; CondTree v c a -&gt; Bool
</span><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var">Eq</span></span></span></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/Data.Typeable.Internal.html#Typeable"><span class="hs-identifier hs-type">Typeable</span></a></span><span class="hs-special">,</span><span> </span><span id="local-6989586621679625685"><span id="local-6989586621679625687"><span id="local-6989586621679625689"><span id="local-6989586621679625691"><span id="local-6989586621679625693"><span id="local-6989586621679625695"><span id="local-6989586621679625697"><span id="local-6989586621679625699"><span id="local-6989586621679625701"><span id="local-6989586621679625703"><span id="local-6989586621679625705"><span id="local-6989586621679625707"><span id="local-6989586621679625713"><span id="local-6989586621679625720"><span class="annot"><span class="annottext">Typeable (CondTree v c a)
Typeable (CondTree v c a)
-&gt; (forall (c :: * -&gt; *).
    (forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
    -&gt; (forall g. g -&gt; c g) -&gt; CondTree v c a -&gt; c (CondTree v c a))
-&gt; (forall (c :: * -&gt; *).
    (forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
    -&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c (CondTree v c a))
-&gt; (CondTree v c a -&gt; Constr)
-&gt; (CondTree v c a -&gt; DataType)
-&gt; (forall (t :: * -&gt; *) (c :: * -&gt; *).
    Typeable t =&gt;
    (forall d. Data d =&gt; c (t d)) -&gt; Maybe (c (CondTree v c a)))
-&gt; (forall (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
    Typeable t =&gt;
    (forall d e. (Data d, Data e) =&gt; c (t d e))
    -&gt; Maybe (c (CondTree v c a)))
-&gt; ((forall b. Data b =&gt; b -&gt; b)
    -&gt; CondTree v c a -&gt; CondTree v c a)
-&gt; (forall r r'.
    (r -&gt; r' -&gt; r)
    -&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondTree v c a -&gt; r)
-&gt; (forall r r'.
    (r' -&gt; r -&gt; r)
    -&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondTree v c a -&gt; r)
-&gt; (forall u.
    (forall d. Data d =&gt; d -&gt; u) -&gt; CondTree v c a -&gt; [u])
-&gt; (forall u.
    Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; CondTree v c a -&gt; u)
-&gt; (forall (m :: * -&gt; *).
    Monad m =&gt;
    (forall d. Data d =&gt; d -&gt; m d)
    -&gt; CondTree v c a -&gt; m (CondTree v c a))
-&gt; (forall (m :: * -&gt; *).
    MonadPlus m =&gt;
    (forall d. Data d =&gt; d -&gt; m d)
    -&gt; CondTree v c a -&gt; m (CondTree v c a))
-&gt; (forall (m :: * -&gt; *).
    MonadPlus m =&gt;
    (forall d. Data d =&gt; d -&gt; m d)
    -&gt; CondTree v c a -&gt; m (CondTree v c a))
-&gt; Data (CondTree v c a)
CondTree v c a -&gt; DataType
CondTree v c a -&gt; Constr
(forall b. Data b =&gt; b -&gt; b) -&gt; CondTree v c a -&gt; CondTree v c a
forall a.
Typeable a
-&gt; (forall (c :: * -&gt; *).
    (forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
    -&gt; (forall g. g -&gt; c g) -&gt; a -&gt; c a)
-&gt; (forall (c :: * -&gt; *).
    (forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
    -&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c a)
-&gt; (a -&gt; Constr)
-&gt; (a -&gt; DataType)
-&gt; (forall (t :: * -&gt; *) (c :: * -&gt; *).
    Typeable t =&gt;
    (forall d. Data d =&gt; c (t d)) -&gt; Maybe (c a))
-&gt; (forall (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
    Typeable t =&gt;
    (forall d e. (Data d, Data e) =&gt; c (t d e)) -&gt; Maybe (c a))
-&gt; ((forall b. Data b =&gt; b -&gt; b) -&gt; a -&gt; a)
-&gt; (forall r r'.
    (r -&gt; r' -&gt; r) -&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; a -&gt; r)
-&gt; (forall r r'.
    (r' -&gt; r -&gt; r) -&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; a -&gt; r)
-&gt; (forall u. (forall d. Data d =&gt; d -&gt; u) -&gt; a -&gt; [u])
-&gt; (forall u. Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; a -&gt; u)
-&gt; (forall (m :: * -&gt; *).
    Monad m =&gt;
    (forall d. Data d =&gt; d -&gt; m d) -&gt; a -&gt; m a)
-&gt; (forall (m :: * -&gt; *).
    MonadPlus m =&gt;
    (forall d. Data d =&gt; d -&gt; m d) -&gt; a -&gt; m a)
-&gt; (forall (m :: * -&gt; *).
    MonadPlus m =&gt;
    (forall d. Data d =&gt; d -&gt; m d) -&gt; a -&gt; m a)
-&gt; Data a
forall u.
Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; CondTree v c a -&gt; u
forall u. (forall d. Data d =&gt; d -&gt; u) -&gt; CondTree v c a -&gt; [u]
forall r r'.
(r -&gt; r' -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondTree v c a -&gt; r
forall r r'.
(r' -&gt; r -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondTree v c a -&gt; r
forall {v} {c} {a}.
(Data v, Data c, Data a) =&gt;
Typeable (CondTree v c a)
forall v c a.
(Data v, Data c, Data a) =&gt;
CondTree v c a -&gt; DataType
forall v c a. (Data v, Data c, Data a) =&gt; CondTree v c a -&gt; Constr
forall v c a.
(Data v, Data c, Data a) =&gt;
(forall b. Data b =&gt; b -&gt; b) -&gt; CondTree v c a -&gt; CondTree v c a
forall v c a u.
(Data v, Data c, Data a) =&gt;
Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; CondTree v c a -&gt; u
forall v c a u.
(Data v, Data c, Data a) =&gt;
(forall d. Data d =&gt; d -&gt; u) -&gt; CondTree v c a -&gt; [u]
forall v c a r r'.
(Data v, Data c, Data a) =&gt;
(r -&gt; r' -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondTree v c a -&gt; r
forall v c a r r'.
(Data v, Data c, Data a) =&gt;
(r' -&gt; r -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondTree v c a -&gt; r
forall v c a (m :: * -&gt; *).
(Data v, Data c, Data a, Monad m) =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondTree v c a -&gt; m (CondTree v c a)
forall v c a (m :: * -&gt; *).
(Data v, Data c, Data a, MonadPlus m) =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondTree v c a -&gt; m (CondTree v c a)
forall v c a (c :: * -&gt; *).
(Data v, Data c, Data a) =&gt;
(forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
-&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c (CondTree v c a)
forall v c a (c :: * -&gt; *).
(Data v, Data c, Data a) =&gt;
(forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
-&gt; (forall g. g -&gt; c g) -&gt; CondTree v c a -&gt; c (CondTree v c a)
forall v c a (t :: * -&gt; *) (c :: * -&gt; *).
(Data v, Data c, Data a, Typeable t) =&gt;
(forall d. Data d =&gt; c (t d)) -&gt; Maybe (c (CondTree v c a))
forall v c a (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
(Data v, Data c, Data a, Typeable t) =&gt;
(forall d e. (Data d, Data e) =&gt; c (t d e))
-&gt; Maybe (c (CondTree v c a))
forall (m :: * -&gt; *).
Monad m =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondTree v c a -&gt; m (CondTree v c a)
forall (m :: * -&gt; *).
MonadPlus m =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondTree v c a -&gt; m (CondTree v c a)
forall (c :: * -&gt; *).
(forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
-&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c (CondTree v c a)
forall (c :: * -&gt; *).
(forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
-&gt; (forall g. g -&gt; c g) -&gt; CondTree v c a -&gt; c (CondTree v c a)
forall (t :: * -&gt; *) (c :: * -&gt; *).
Typeable t =&gt;
(forall d. Data d =&gt; c (t d)) -&gt; Maybe (c (CondTree v c a))
forall (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
Typeable t =&gt;
(forall d e. (Data d, Data e) =&gt; c (t d e))
-&gt; Maybe (c (CondTree v c a))
gmapMo :: forall (m :: * -&gt; *).
MonadPlus m =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondTree v c a -&gt; m (CondTree v c a)
$cgmapMo :: forall v c a (m :: * -&gt; *).
(Data v, Data c, Data a, MonadPlus m) =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondTree v c a -&gt; m (CondTree v c a)
gmapMp :: forall (m :: * -&gt; *).
MonadPlus m =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondTree v c a -&gt; m (CondTree v c a)
$cgmapMp :: forall v c a (m :: * -&gt; *).
(Data v, Data c, Data a, MonadPlus m) =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondTree v c a -&gt; m (CondTree v c a)
gmapM :: forall (m :: * -&gt; *).
Monad m =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondTree v c a -&gt; m (CondTree v c a)
$cgmapM :: forall v c a (m :: * -&gt; *).
(Data v, Data c, Data a, Monad m) =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondTree v c a -&gt; m (CondTree v c a)
gmapQi :: forall u.
Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; CondTree v c a -&gt; u
$cgmapQi :: forall v c a u.
(Data v, Data c, Data a) =&gt;
Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; CondTree v c a -&gt; u
gmapQ :: forall u. (forall d. Data d =&gt; d -&gt; u) -&gt; CondTree v c a -&gt; [u]
$cgmapQ :: forall v c a u.
(Data v, Data c, Data a) =&gt;
(forall d. Data d =&gt; d -&gt; u) -&gt; CondTree v c a -&gt; [u]
gmapQr :: forall r r'.
(r' -&gt; r -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondTree v c a -&gt; r
$cgmapQr :: forall v c a r r'.
(Data v, Data c, Data a) =&gt;
(r' -&gt; r -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondTree v c a -&gt; r
gmapQl :: forall r r'.
(r -&gt; r' -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondTree v c a -&gt; r
$cgmapQl :: forall v c a r r'.
(Data v, Data c, Data a) =&gt;
(r -&gt; r' -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondTree v c a -&gt; r
gmapT :: (forall b. Data b =&gt; b -&gt; b) -&gt; CondTree v c a -&gt; CondTree v c a
$cgmapT :: forall v c a.
(Data v, Data c, Data a) =&gt;
(forall b. Data b =&gt; b -&gt; b) -&gt; CondTree v c a -&gt; CondTree v c a
dataCast2 :: forall (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
Typeable t =&gt;
(forall d e. (Data d, Data e) =&gt; c (t d e))
-&gt; Maybe (c (CondTree v c a))
$cdataCast2 :: forall v c a (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
(Data v, Data c, Data a, Typeable t) =&gt;
(forall d e. (Data d, Data e) =&gt; c (t d e))
-&gt; Maybe (c (CondTree v c a))
dataCast1 :: forall (t :: * -&gt; *) (c :: * -&gt; *).
Typeable t =&gt;
(forall d. Data d =&gt; c (t d)) -&gt; Maybe (c (CondTree v c a))
$cdataCast1 :: forall v c a (t :: * -&gt; *) (c :: * -&gt; *).
(Data v, Data c, Data a, Typeable t) =&gt;
(forall d. Data d =&gt; c (t d)) -&gt; Maybe (c (CondTree v c a))
dataTypeOf :: CondTree v c a -&gt; DataType
$cdataTypeOf :: forall v c a.
(Data v, Data c, Data a) =&gt;
CondTree v c a -&gt; DataType
toConstr :: CondTree v c a -&gt; Constr
$ctoConstr :: forall v c a. (Data v, Data c, Data a) =&gt; CondTree v c a -&gt; Constr
gunfold :: forall (c :: * -&gt; *).
(forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
-&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c (CondTree v c a)
$cgunfold :: forall v c a (c :: * -&gt; *).
(Data v, Data c, Data a) =&gt;
(forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
-&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c (CondTree v c a)
gfoldl :: forall (c :: * -&gt; *).
(forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
-&gt; (forall g. g -&gt; c g) -&gt; CondTree v c a -&gt; c (CondTree v c a)
$cgfoldl :: forall v c a (c :: * -&gt; *).
(Data v, Data c, Data a) =&gt;
(forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
-&gt; (forall g. g -&gt; c g) -&gt; CondTree v c a -&gt; c (CondTree v c a)
</span><a href="../../base/src/Data.Data.html#Data"><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var">Data</span></a></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span><span class="hs-special">,</span><span> </span><span class="annot"><span class="annottext">(forall x. CondTree v c a -&gt; Rep (CondTree v c a) x)
-&gt; (forall x. Rep (CondTree v c a) x -&gt; CondTree v c a)
-&gt; Generic (CondTree v c a)
forall x. Rep (CondTree v c a) x -&gt; CondTree v c a
forall x. CondTree v c a -&gt; Rep (CondTree v c a) x
forall a.
(forall x. a -&gt; Rep a x) -&gt; (forall x. Rep a x -&gt; a) -&gt; Generic a
forall v c a x. Rep (CondTree v c a) x -&gt; CondTree v c a
forall v c a x. CondTree v c a -&gt; Rep (CondTree v c a) x
$cto :: forall v c a x. Rep (CondTree v c a) x -&gt; CondTree v c a
$cfrom :: forall v c a x. CondTree v c a -&gt; Rep (CondTree v c a) x
</span><a href="../../base/src/GHC.Generics.html#Generic"><span class="hs-identifier hs-var hs-var hs-var hs-var">Generic</span></a></span><span class="hs-special">,</span><span> </span><span id="local-6989586621679625671"><span id="local-6989586621679625677"><span class="annot"><span class="annottext">(forall a b. (a -&gt; b) -&gt; CondTree v c a -&gt; CondTree v c b)
-&gt; (forall a b. a -&gt; CondTree v c b -&gt; CondTree v c a)
-&gt; Functor (CondTree v c)
forall a b. a -&gt; CondTree v c b -&gt; CondTree v c a
forall a b. (a -&gt; b) -&gt; CondTree v c a -&gt; CondTree v c b
forall v c a b. a -&gt; CondTree v c b -&gt; CondTree v c a
forall v c a b. (a -&gt; b) -&gt; CondTree v c a -&gt; CondTree v c b
forall (f :: * -&gt; *).
(forall a b. (a -&gt; b) -&gt; f a -&gt; f b)
-&gt; (forall a b. a -&gt; f b -&gt; f a) -&gt; Functor f
&lt;$ :: forall a b. a -&gt; CondTree v c b -&gt; CondTree v c a
$c&lt;$ :: forall v c a b. a -&gt; CondTree v c b -&gt; CondTree v c a
fmap :: forall a b. (a -&gt; b) -&gt; CondTree v c a -&gt; CondTree v c b
$cfmap :: forall v c a b. (a -&gt; b) -&gt; CondTree v c a -&gt; CondTree v c b
</span><a href="../../base/src/GHC.Base.html#Functor"><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var">Functor</span></a></span></span></span><span class="hs-special">,</span><span> </span><span id="local-6989586621679625624"><span id="local-6989586621679625626"><span id="local-6989586621679625628"><span id="local-6989586621679625630"><span id="local-6989586621679625632"><span id="local-6989586621679625634"><span id="local-6989586621679625636"><span id="local-6989586621679625638"><span id="local-6989586621679625640"><span id="local-6989586621679625642"><span id="local-6989586621679625644"><span id="local-6989586621679625646"><span id="local-6989586621679625648"><span id="local-6989586621679625652"><span id="local-6989586621679625654"><span id="local-6989586621679625663"><span id="local-6989586621679625665"><span class="annot"><span class="annottext">(forall m. Monoid m =&gt; CondTree v c m -&gt; m)
-&gt; (forall m a. Monoid m =&gt; (a -&gt; m) -&gt; CondTree v c a -&gt; m)
-&gt; (forall m a. Monoid m =&gt; (a -&gt; m) -&gt; CondTree v c a -&gt; m)
-&gt; (forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b)
-&gt; (forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b)
-&gt; (forall b a. (b -&gt; a -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b)
-&gt; (forall b a. (b -&gt; a -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b)
-&gt; (forall a. (a -&gt; a -&gt; a) -&gt; CondTree v c a -&gt; a)
-&gt; (forall a. (a -&gt; a -&gt; a) -&gt; CondTree v c a -&gt; a)
-&gt; (forall a. CondTree v c a -&gt; [a])
-&gt; (forall a. CondTree v c a -&gt; Bool)
-&gt; (forall a. CondTree v c a -&gt; Int)
-&gt; (forall a. Eq a =&gt; a -&gt; CondTree v c a -&gt; Bool)
-&gt; (forall a. Ord a =&gt; CondTree v c a -&gt; a)
-&gt; (forall a. Ord a =&gt; CondTree v c a -&gt; a)
-&gt; (forall a. Num a =&gt; CondTree v c a -&gt; a)
-&gt; (forall a. Num a =&gt; CondTree v c a -&gt; a)
-&gt; Foldable (CondTree v c)
forall a. Eq a =&gt; a -&gt; CondTree v c a -&gt; Bool
forall a. Num a =&gt; CondTree v c a -&gt; a
forall a. Ord a =&gt; CondTree v c a -&gt; a
forall m. Monoid m =&gt; CondTree v c m -&gt; m
forall a. CondTree v c a -&gt; Bool
forall a. CondTree v c a -&gt; Int
forall a. CondTree v c a -&gt; [a]
forall a. (a -&gt; a -&gt; a) -&gt; CondTree v c a -&gt; a
forall m a. Monoid m =&gt; (a -&gt; m) -&gt; CondTree v c a -&gt; m
forall b a. (b -&gt; a -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b
forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b
forall v c a. Eq a =&gt; a -&gt; CondTree v c a -&gt; Bool
forall v c a. Num a =&gt; CondTree v c a -&gt; a
forall v c a. Ord a =&gt; CondTree v c a -&gt; a
forall v c m. Monoid m =&gt; CondTree v c m -&gt; m
forall v c a. CondTree v c a -&gt; Bool
forall v c a. CondTree v c a -&gt; Int
forall v c a. CondTree v c a -&gt; [a]
forall v c a. (a -&gt; a -&gt; a) -&gt; CondTree v c a -&gt; a
forall v c m a. Monoid m =&gt; (a -&gt; m) -&gt; CondTree v c a -&gt; m
forall v c b a. (b -&gt; a -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b
forall v c a b. (a -&gt; b -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b
forall (t :: * -&gt; *).
(forall m. Monoid m =&gt; t m -&gt; m)
-&gt; (forall m a. Monoid m =&gt; (a -&gt; m) -&gt; t a -&gt; m)
-&gt; (forall m a. Monoid m =&gt; (a -&gt; m) -&gt; t a -&gt; m)
-&gt; (forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; t a -&gt; b)
-&gt; (forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; t a -&gt; b)
-&gt; (forall b a. (b -&gt; a -&gt; b) -&gt; b -&gt; t a -&gt; b)
-&gt; (forall b a. (b -&gt; a -&gt; b) -&gt; b -&gt; t a -&gt; b)
-&gt; (forall a. (a -&gt; a -&gt; a) -&gt; t a -&gt; a)
-&gt; (forall a. (a -&gt; a -&gt; a) -&gt; t a -&gt; a)
-&gt; (forall a. t a -&gt; [a])
-&gt; (forall a. t a -&gt; Bool)
-&gt; (forall a. t a -&gt; Int)
-&gt; (forall a. Eq a =&gt; a -&gt; t a -&gt; Bool)
-&gt; (forall a. Ord a =&gt; t a -&gt; a)
-&gt; (forall a. Ord a =&gt; t a -&gt; a)
-&gt; (forall a. Num a =&gt; t a -&gt; a)
-&gt; (forall a. Num a =&gt; t a -&gt; a)
-&gt; Foldable t
product :: forall a. Num a =&gt; CondTree v c a -&gt; a
$cproduct :: forall v c a. Num a =&gt; CondTree v c a -&gt; a
sum :: forall a. Num a =&gt; CondTree v c a -&gt; a
$csum :: forall v c a. Num a =&gt; CondTree v c a -&gt; a
minimum :: forall a. Ord a =&gt; CondTree v c a -&gt; a
$cminimum :: forall v c a. Ord a =&gt; CondTree v c a -&gt; a
maximum :: forall a. Ord a =&gt; CondTree v c a -&gt; a
$cmaximum :: forall v c a. Ord a =&gt; CondTree v c a -&gt; a
elem :: forall a. Eq a =&gt; a -&gt; CondTree v c a -&gt; Bool
$celem :: forall v c a. Eq a =&gt; a -&gt; CondTree v c a -&gt; Bool
length :: forall a. CondTree v c a -&gt; Int
$clength :: forall v c a. CondTree v c a -&gt; Int
null :: forall a. CondTree v c a -&gt; Bool
$cnull :: forall v c a. CondTree v c a -&gt; Bool
toList :: forall a. CondTree v c a -&gt; [a]
$ctoList :: forall v c a. CondTree v c a -&gt; [a]
foldl1 :: forall a. (a -&gt; a -&gt; a) -&gt; CondTree v c a -&gt; a
$cfoldl1 :: forall v c a. (a -&gt; a -&gt; a) -&gt; CondTree v c a -&gt; a
foldr1 :: forall a. (a -&gt; a -&gt; a) -&gt; CondTree v c a -&gt; a
$cfoldr1 :: forall v c a. (a -&gt; a -&gt; a) -&gt; CondTree v c a -&gt; a
foldl' :: forall b a. (b -&gt; a -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b
$cfoldl' :: forall v c b a. (b -&gt; a -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b
foldl :: forall b a. (b -&gt; a -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b
$cfoldl :: forall v c b a. (b -&gt; a -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b
foldr' :: forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b
$cfoldr' :: forall v c a b. (a -&gt; b -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b
foldr :: forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b
$cfoldr :: forall v c a b. (a -&gt; b -&gt; b) -&gt; b -&gt; CondTree v c a -&gt; b
foldMap' :: forall m a. Monoid m =&gt; (a -&gt; m) -&gt; CondTree v c a -&gt; m
$cfoldMap' :: forall v c m a. Monoid m =&gt; (a -&gt; m) -&gt; CondTree v c a -&gt; m
foldMap :: forall m a. Monoid m =&gt; (a -&gt; m) -&gt; CondTree v c a -&gt; m
$cfoldMap :: forall v c m a. Monoid m =&gt; (a -&gt; m) -&gt; CondTree v c a -&gt; m
fold :: forall m. Monoid m =&gt; CondTree v c m -&gt; m
$cfold :: forall v c m. Monoid m =&gt; CondTree v c m -&gt; m
</span><a href="../../base/src/Data.Foldable.html#Foldable"><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var">Foldable</span></a></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span><span class="hs-special">,</span><span> </span><span id="local-6989586621679625604"><span id="local-6989586621679625606"><span id="local-6989586621679625608"><span id="local-6989586621679625617"><span class="annot"><span class="annottext">Functor (CondTree v c)
Foldable (CondTree v c)
Functor (CondTree v c)
-&gt; Foldable (CondTree v c)
-&gt; (forall (f :: * -&gt; *) a b.
    Applicative f =&gt;
    (a -&gt; f b) -&gt; CondTree v c a -&gt; f (CondTree v c b))
-&gt; (forall (f :: * -&gt; *) a.
    Applicative f =&gt;
    CondTree v c (f a) -&gt; f (CondTree v c a))
-&gt; (forall (m :: * -&gt; *) a b.
    Monad m =&gt;
    (a -&gt; m b) -&gt; CondTree v c a -&gt; m (CondTree v c b))
-&gt; (forall (m :: * -&gt; *) a.
    Monad m =&gt;
    CondTree v c (m a) -&gt; m (CondTree v c a))
-&gt; Traversable (CondTree v c)
forall v c. Functor (CondTree v c)
forall v c. Foldable (CondTree v c)
forall v c (m :: * -&gt; *) a.
Monad m =&gt;
CondTree v c (m a) -&gt; m (CondTree v c a)
forall v c (f :: * -&gt; *) a.
Applicative f =&gt;
CondTree v c (f a) -&gt; f (CondTree v c a)
forall v c (m :: * -&gt; *) a b.
Monad m =&gt;
(a -&gt; m b) -&gt; CondTree v c a -&gt; m (CondTree v c b)
forall v c (f :: * -&gt; *) a b.
Applicative f =&gt;
(a -&gt; f b) -&gt; CondTree v c a -&gt; f (CondTree v c b)
forall (t :: * -&gt; *).
Functor t
-&gt; Foldable t
-&gt; (forall (f :: * -&gt; *) a b.
    Applicative f =&gt;
    (a -&gt; f b) -&gt; t a -&gt; f (t b))
-&gt; (forall (f :: * -&gt; *) a. Applicative f =&gt; t (f a) -&gt; f (t a))
-&gt; (forall (m :: * -&gt; *) a b.
    Monad m =&gt;
    (a -&gt; m b) -&gt; t a -&gt; m (t b))
-&gt; (forall (m :: * -&gt; *) a. Monad m =&gt; t (m a) -&gt; m (t a))
-&gt; Traversable t
forall (m :: * -&gt; *) a.
Monad m =&gt;
CondTree v c (m a) -&gt; m (CondTree v c a)
forall (f :: * -&gt; *) a.
Applicative f =&gt;
CondTree v c (f a) -&gt; f (CondTree v c a)
forall (m :: * -&gt; *) a b.
Monad m =&gt;
(a -&gt; m b) -&gt; CondTree v c a -&gt; m (CondTree v c b)
forall (f :: * -&gt; *) a b.
Applicative f =&gt;
(a -&gt; f b) -&gt; CondTree v c a -&gt; f (CondTree v c b)
sequence :: forall (m :: * -&gt; *) a.
Monad m =&gt;
CondTree v c (m a) -&gt; m (CondTree v c a)
$csequence :: forall v c (m :: * -&gt; *) a.
Monad m =&gt;
CondTree v c (m a) -&gt; m (CondTree v c a)
mapM :: forall (m :: * -&gt; *) a b.
Monad m =&gt;
(a -&gt; m b) -&gt; CondTree v c a -&gt; m (CondTree v c b)
$cmapM :: forall v c (m :: * -&gt; *) a b.
Monad m =&gt;
(a -&gt; m b) -&gt; CondTree v c a -&gt; m (CondTree v c b)
sequenceA :: forall (f :: * -&gt; *) a.
Applicative f =&gt;
CondTree v c (f a) -&gt; f (CondTree v c a)
$csequenceA :: forall v c (f :: * -&gt; *) a.
Applicative f =&gt;
CondTree v c (f a) -&gt; f (CondTree v c a)
traverse :: forall (f :: * -&gt; *) a b.
Applicative f =&gt;
(a -&gt; f b) -&gt; CondTree v c a -&gt; f (CondTree v c b)
$ctraverse :: forall v c (f :: * -&gt; *) a b.
Applicative f =&gt;
(a -&gt; f b) -&gt; CondTree v c a -&gt; f (CondTree v c b)
</span><a href="../../base/src/Data.Traversable.html#Traversable"><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var">Traversable</span></a></span></span></span></span></span><span class="hs-special">)</span><span>
</span><span id="line-65"></span><span>
</span><span id="line-66"></span><span id="local-6989586621679626301"><span id="local-6989586621679626302"><span id="local-6989586621679626303"><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679625597"><span id="local-6989586621679625599"><span id="local-6989586621679625601"><span class="hs-special">(</span><span class="annot"><a href="../../binary/src/Data.Binary.Class.html#Binary"><span class="hs-identifier hs-type">Binary</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626303"><span class="hs-identifier hs-type">v</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../binary/src/Data.Binary.Class.html#Binary"><span class="hs-identifier hs-type">Binary</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626302"><span class="hs-identifier hs-type">c</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../binary/src/Data.Binary.Class.html#Binary"><span class="hs-identifier hs-type">Binary</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626301"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="../../binary/src/Data.Binary.Class.html#Binary"><span class="hs-identifier hs-type">Binary</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626303"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626302"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626301"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span></span></span></span></span></span><span>
</span><span id="line-67"></span><span id="local-6989586621679626293"><span id="local-6989586621679626294"><span id="local-6989586621679626295"><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679625589"><span id="local-6989586621679625591"><span class="hs-special">(</span><span class="annot"><a href="Distribution.Utils.Structured.html#Structured"><span class="hs-identifier hs-type">Structured</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626295"><span class="hs-identifier hs-type">v</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Distribution.Utils.Structured.html#Structured"><span class="hs-identifier hs-type">Structured</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626294"><span class="hs-identifier hs-type">c</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Distribution.Utils.Structured.html#Structured"><span class="hs-identifier hs-type">Structured</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626293"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="Distribution.Utils.Structured.html#Structured"><span class="hs-identifier hs-type">Structured</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626295"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626294"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626293"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span></span></span></span></span><span>
</span><span id="line-68"></span><span id="local-6989586621679626285"><span id="local-6989586621679626286"><span id="local-6989586621679626287"><span class="hs-keyword">instance</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="../../deepseq/src/Control.DeepSeq.html#NFData"><span class="hs-identifier hs-type">NFData</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626287"><span class="hs-identifier hs-type">v</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../deepseq/src/Control.DeepSeq.html#NFData"><span class="hs-identifier hs-type">NFData</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626286"><span class="hs-identifier hs-type">c</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../deepseq/src/Control.DeepSeq.html#NFData"><span class="hs-identifier hs-type">NFData</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626285"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="../../deepseq/src/Control.DeepSeq.html#NFData"><span class="hs-identifier hs-type">NFData</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626287"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626286"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626285"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-keyword">where</span><span> </span><span id="local-6989586621679625560"><span class="annot"><span class="annottext">rnf :: CondTree v c a -&gt; ()
</span><a href="../../deepseq/src/Control.DeepSeq.html#rnf"><span class="hs-identifier hs-var hs-var hs-var hs-var">rnf</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">CondTree v c a -&gt; ()
forall a. (Generic a, GNFData (Rep a)) =&gt; a -&gt; ()
</span><a href="Distribution.Compat.Prelude.html#genericRnf"><span class="hs-identifier hs-var">genericRnf</span></a></span></span></span></span><span>
</span><span id="line-69"></span><span>
</span><span id="line-70"></span><span class="hs-comment">-- | A 'CondBranch' represents a conditional branch, e.g., @if</span><span>
</span><span id="line-71"></span><span class="hs-comment">-- flag(foo)@ on some syntax @a@.  It also has an optional false</span><span>
</span><span id="line-72"></span><span class="hs-comment">-- branch.</span><span>
</span><span id="line-73"></span><span class="hs-comment">--</span><span>
</span><span id="line-74"></span><span id="local-6989586621679625556"><span id="local-6989586621679625557"></span></span><span class="hs-keyword">data</span><span> </span><span id="CondBranch"><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-var">CondBranch</span></a></span></span><span> </span><span id="local-6989586621679626381"><span class="annot"><a href="#local-6989586621679626381"><span class="hs-identifier hs-type">v</span></a></span></span><span> </span><span id="local-6989586621679626379"><span class="annot"><a href="#local-6989586621679626379"><span class="hs-identifier hs-type">c</span></a></span></span><span> </span><span id="local-6989586621679626380"><span class="annot"><a href="#local-6989586621679626380"><span class="hs-identifier hs-type">a</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span id="CondBranch"><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-var">CondBranch</span></a></span></span><span>
</span><span id="line-75"></span><span>    </span><span class="hs-special">{</span><span> </span><span id="condBranchCondition"><span class="annot"><span class="annottext">forall v c a. CondBranch v c a -&gt; Condition v
</span><a href="Distribution.Types.CondTree.html#condBranchCondition"><span class="hs-identifier hs-var hs-var">condBranchCondition</span></a></span></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Distribution.Types.Condition.html#Condition"><span class="hs-identifier hs-type">Condition</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626381"><span class="hs-identifier hs-type">v</span></a></span><span>
</span><span id="line-76"></span><span>    </span><span class="hs-special">,</span><span> </span><span id="condBranchIfTrue"><span class="annot"><span class="annottext">forall v c a. CondBranch v c a -&gt; CondTree v c a
</span><a href="Distribution.Types.CondTree.html#condBranchIfTrue"><span class="hs-identifier hs-var hs-var">condBranchIfTrue</span></a></span></span><span>    </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626381"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626379"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626380"><span class="hs-identifier hs-type">a</span></a></span><span>
</span><span id="line-77"></span><span>    </span><span class="hs-special">,</span><span> </span><span id="condBranchIfFalse"><span class="annot"><span class="annottext">forall v c a. CondBranch v c a -&gt; Maybe (CondTree v c a)
</span><a href="Distribution.Types.CondTree.html#condBranchIfFalse"><span class="hs-identifier hs-var hs-var">condBranchIfFalse</span></a></span></span><span>   </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="../../base/src/GHC.Maybe.html#Maybe"><span class="hs-identifier hs-type">Maybe</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626381"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626379"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626380"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-78"></span><span>    </span><span class="hs-special">}</span><span>
</span><span id="line-79"></span><span>    </span><span class="hs-keyword">deriving</span><span> </span><span class="hs-special">(</span><span id="local-6989586621679625540"><span id="local-6989586621679625542"><span id="local-6989586621679625550"><span class="annot"><span class="annottext">Int -&gt; CondBranch v c a -&gt; ShowS
[CondBranch v c a] -&gt; ShowS
CondBranch v c a -&gt; String
(Int -&gt; CondBranch v c a -&gt; ShowS)
-&gt; (CondBranch v c a -&gt; String)
-&gt; ([CondBranch v c a] -&gt; ShowS)
-&gt; Show (CondBranch v c a)
forall a.
(Int -&gt; a -&gt; ShowS) -&gt; (a -&gt; String) -&gt; ([a] -&gt; ShowS) -&gt; Show a
forall v c a.
(Show v, Show a, Show c) =&gt;
Int -&gt; CondBranch v c a -&gt; ShowS
forall v c a.
(Show v, Show a, Show c) =&gt;
[CondBranch v c a] -&gt; ShowS
forall v c a.
(Show v, Show a, Show c) =&gt;
CondBranch v c a -&gt; String
showList :: [CondBranch v c a] -&gt; ShowS
$cshowList :: forall v c a.
(Show v, Show a, Show c) =&gt;
[CondBranch v c a] -&gt; ShowS
show :: CondBranch v c a -&gt; String
$cshow :: forall v c a.
(Show v, Show a, Show c) =&gt;
CondBranch v c a -&gt; String
showsPrec :: Int -&gt; CondBranch v c a -&gt; ShowS
$cshowsPrec :: forall v c a.
(Show v, Show a, Show c) =&gt;
Int -&gt; CondBranch v c a -&gt; ShowS
</span><a href="../../base/src/GHC.Show.html#Show"><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var">Show</span></a></span></span></span></span><span class="hs-special">,</span><span> </span><span id="local-6989586621679625531"><span id="local-6989586621679625538"><span class="annot"><span class="annottext">CondBranch v c a -&gt; CondBranch v c a -&gt; Bool
(CondBranch v c a -&gt; CondBranch v c a -&gt; Bool)
-&gt; (CondBranch v c a -&gt; CondBranch v c a -&gt; Bool)
-&gt; Eq (CondBranch v c a)
forall a. (a -&gt; a -&gt; Bool) -&gt; (a -&gt; a -&gt; Bool) -&gt; Eq a
forall v c a.
(Eq v, Eq a, Eq c) =&gt;
CondBranch v c a -&gt; CondBranch v c a -&gt; Bool
/= :: CondBranch v c a -&gt; CondBranch v c a -&gt; Bool
$c/= :: forall v c a.
(Eq v, Eq a, Eq c) =&gt;
CondBranch v c a -&gt; CondBranch v c a -&gt; Bool
== :: CondBranch v c a -&gt; CondBranch v c a -&gt; Bool
$c== :: forall v c a.
(Eq v, Eq a, Eq c) =&gt;
CondBranch v c a -&gt; CondBranch v c a -&gt; Bool
</span><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var">Eq</span></span></span></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/Data.Typeable.Internal.html#Typeable"><span class="hs-identifier hs-type">Typeable</span></a></span><span class="hs-special">,</span><span> </span><span id="local-6989586621679625490"><span id="local-6989586621679625492"><span id="local-6989586621679625494"><span id="local-6989586621679625496"><span id="local-6989586621679625498"><span id="local-6989586621679625500"><span id="local-6989586621679625502"><span id="local-6989586621679625504"><span id="local-6989586621679625506"><span id="local-6989586621679625508"><span id="local-6989586621679625510"><span id="local-6989586621679625512"><span id="local-6989586621679625518"><span id="local-6989586621679625526"><span class="annot"><span class="annottext">Typeable (CondBranch v c a)
Typeable (CondBranch v c a)
-&gt; (forall (c :: * -&gt; *).
    (forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
    -&gt; (forall g. g -&gt; c g)
    -&gt; CondBranch v c a
    -&gt; c (CondBranch v c a))
-&gt; (forall (c :: * -&gt; *).
    (forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
    -&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c (CondBranch v c a))
-&gt; (CondBranch v c a -&gt; Constr)
-&gt; (CondBranch v c a -&gt; DataType)
-&gt; (forall (t :: * -&gt; *) (c :: * -&gt; *).
    Typeable t =&gt;
    (forall d. Data d =&gt; c (t d)) -&gt; Maybe (c (CondBranch v c a)))
-&gt; (forall (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
    Typeable t =&gt;
    (forall d e. (Data d, Data e) =&gt; c (t d e))
    -&gt; Maybe (c (CondBranch v c a)))
-&gt; ((forall b. Data b =&gt; b -&gt; b)
    -&gt; CondBranch v c a -&gt; CondBranch v c a)
-&gt; (forall r r'.
    (r -&gt; r' -&gt; r)
    -&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondBranch v c a -&gt; r)
-&gt; (forall r r'.
    (r' -&gt; r -&gt; r)
    -&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondBranch v c a -&gt; r)
-&gt; (forall u.
    (forall d. Data d =&gt; d -&gt; u) -&gt; CondBranch v c a -&gt; [u])
-&gt; (forall u.
    Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; CondBranch v c a -&gt; u)
-&gt; (forall (m :: * -&gt; *).
    Monad m =&gt;
    (forall d. Data d =&gt; d -&gt; m d)
    -&gt; CondBranch v c a -&gt; m (CondBranch v c a))
-&gt; (forall (m :: * -&gt; *).
    MonadPlus m =&gt;
    (forall d. Data d =&gt; d -&gt; m d)
    -&gt; CondBranch v c a -&gt; m (CondBranch v c a))
-&gt; (forall (m :: * -&gt; *).
    MonadPlus m =&gt;
    (forall d. Data d =&gt; d -&gt; m d)
    -&gt; CondBranch v c a -&gt; m (CondBranch v c a))
-&gt; Data (CondBranch v c a)
CondBranch v c a -&gt; DataType
CondBranch v c a -&gt; Constr
(forall b. Data b =&gt; b -&gt; b)
-&gt; CondBranch v c a -&gt; CondBranch v c a
forall a.
Typeable a
-&gt; (forall (c :: * -&gt; *).
    (forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
    -&gt; (forall g. g -&gt; c g) -&gt; a -&gt; c a)
-&gt; (forall (c :: * -&gt; *).
    (forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
    -&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c a)
-&gt; (a -&gt; Constr)
-&gt; (a -&gt; DataType)
-&gt; (forall (t :: * -&gt; *) (c :: * -&gt; *).
    Typeable t =&gt;
    (forall d. Data d =&gt; c (t d)) -&gt; Maybe (c a))
-&gt; (forall (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
    Typeable t =&gt;
    (forall d e. (Data d, Data e) =&gt; c (t d e)) -&gt; Maybe (c a))
-&gt; ((forall b. Data b =&gt; b -&gt; b) -&gt; a -&gt; a)
-&gt; (forall r r'.
    (r -&gt; r' -&gt; r) -&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; a -&gt; r)
-&gt; (forall r r'.
    (r' -&gt; r -&gt; r) -&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; a -&gt; r)
-&gt; (forall u. (forall d. Data d =&gt; d -&gt; u) -&gt; a -&gt; [u])
-&gt; (forall u. Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; a -&gt; u)
-&gt; (forall (m :: * -&gt; *).
    Monad m =&gt;
    (forall d. Data d =&gt; d -&gt; m d) -&gt; a -&gt; m a)
-&gt; (forall (m :: * -&gt; *).
    MonadPlus m =&gt;
    (forall d. Data d =&gt; d -&gt; m d) -&gt; a -&gt; m a)
-&gt; (forall (m :: * -&gt; *).
    MonadPlus m =&gt;
    (forall d. Data d =&gt; d -&gt; m d) -&gt; a -&gt; m a)
-&gt; Data a
forall u.
Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; CondBranch v c a -&gt; u
forall u. (forall d. Data d =&gt; d -&gt; u) -&gt; CondBranch v c a -&gt; [u]
forall r r'.
(r -&gt; r' -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondBranch v c a -&gt; r
forall r r'.
(r' -&gt; r -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondBranch v c a -&gt; r
forall {v} {c} {a}.
(Data v, Data c, Data a) =&gt;
Typeable (CondBranch v c a)
forall v c a.
(Data v, Data c, Data a) =&gt;
CondBranch v c a -&gt; DataType
forall v c a.
(Data v, Data c, Data a) =&gt;
CondBranch v c a -&gt; Constr
forall v c a.
(Data v, Data c, Data a) =&gt;
(forall b. Data b =&gt; b -&gt; b)
-&gt; CondBranch v c a -&gt; CondBranch v c a
forall v c a u.
(Data v, Data c, Data a) =&gt;
Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; CondBranch v c a -&gt; u
forall v c a u.
(Data v, Data c, Data a) =&gt;
(forall d. Data d =&gt; d -&gt; u) -&gt; CondBranch v c a -&gt; [u]
forall v c a r r'.
(Data v, Data c, Data a) =&gt;
(r -&gt; r' -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondBranch v c a -&gt; r
forall v c a r r'.
(Data v, Data c, Data a) =&gt;
(r' -&gt; r -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondBranch v c a -&gt; r
forall v c a (m :: * -&gt; *).
(Data v, Data c, Data a, Monad m) =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondBranch v c a -&gt; m (CondBranch v c a)
forall v c a (m :: * -&gt; *).
(Data v, Data c, Data a, MonadPlus m) =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondBranch v c a -&gt; m (CondBranch v c a)
forall v c a (c :: * -&gt; *).
(Data v, Data c, Data a) =&gt;
(forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
-&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c (CondBranch v c a)
forall v c a (c :: * -&gt; *).
(Data v, Data c, Data a) =&gt;
(forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
-&gt; (forall g. g -&gt; c g) -&gt; CondBranch v c a -&gt; c (CondBranch v c a)
forall v c a (t :: * -&gt; *) (c :: * -&gt; *).
(Data v, Data c, Data a, Typeable t) =&gt;
(forall d. Data d =&gt; c (t d)) -&gt; Maybe (c (CondBranch v c a))
forall v c a (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
(Data v, Data c, Data a, Typeable t) =&gt;
(forall d e. (Data d, Data e) =&gt; c (t d e))
-&gt; Maybe (c (CondBranch v c a))
forall (m :: * -&gt; *).
Monad m =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondBranch v c a -&gt; m (CondBranch v c a)
forall (m :: * -&gt; *).
MonadPlus m =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondBranch v c a -&gt; m (CondBranch v c a)
forall (c :: * -&gt; *).
(forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
-&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c (CondBranch v c a)
forall (c :: * -&gt; *).
(forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
-&gt; (forall g. g -&gt; c g) -&gt; CondBranch v c a -&gt; c (CondBranch v c a)
forall (t :: * -&gt; *) (c :: * -&gt; *).
Typeable t =&gt;
(forall d. Data d =&gt; c (t d)) -&gt; Maybe (c (CondBranch v c a))
forall (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
Typeable t =&gt;
(forall d e. (Data d, Data e) =&gt; c (t d e))
-&gt; Maybe (c (CondBranch v c a))
gmapMo :: forall (m :: * -&gt; *).
MonadPlus m =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondBranch v c a -&gt; m (CondBranch v c a)
$cgmapMo :: forall v c a (m :: * -&gt; *).
(Data v, Data c, Data a, MonadPlus m) =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondBranch v c a -&gt; m (CondBranch v c a)
gmapMp :: forall (m :: * -&gt; *).
MonadPlus m =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondBranch v c a -&gt; m (CondBranch v c a)
$cgmapMp :: forall v c a (m :: * -&gt; *).
(Data v, Data c, Data a, MonadPlus m) =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondBranch v c a -&gt; m (CondBranch v c a)
gmapM :: forall (m :: * -&gt; *).
Monad m =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondBranch v c a -&gt; m (CondBranch v c a)
$cgmapM :: forall v c a (m :: * -&gt; *).
(Data v, Data c, Data a, Monad m) =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; CondBranch v c a -&gt; m (CondBranch v c a)
gmapQi :: forall u.
Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; CondBranch v c a -&gt; u
$cgmapQi :: forall v c a u.
(Data v, Data c, Data a) =&gt;
Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; CondBranch v c a -&gt; u
gmapQ :: forall u. (forall d. Data d =&gt; d -&gt; u) -&gt; CondBranch v c a -&gt; [u]
$cgmapQ :: forall v c a u.
(Data v, Data c, Data a) =&gt;
(forall d. Data d =&gt; d -&gt; u) -&gt; CondBranch v c a -&gt; [u]
gmapQr :: forall r r'.
(r' -&gt; r -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondBranch v c a -&gt; r
$cgmapQr :: forall v c a r r'.
(Data v, Data c, Data a) =&gt;
(r' -&gt; r -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondBranch v c a -&gt; r
gmapQl :: forall r r'.
(r -&gt; r' -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondBranch v c a -&gt; r
$cgmapQl :: forall v c a r r'.
(Data v, Data c, Data a) =&gt;
(r -&gt; r' -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; CondBranch v c a -&gt; r
gmapT :: (forall b. Data b =&gt; b -&gt; b)
-&gt; CondBranch v c a -&gt; CondBranch v c a
$cgmapT :: forall v c a.
(Data v, Data c, Data a) =&gt;
(forall b. Data b =&gt; b -&gt; b)
-&gt; CondBranch v c a -&gt; CondBranch v c a
dataCast2 :: forall (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
Typeable t =&gt;
(forall d e. (Data d, Data e) =&gt; c (t d e))
-&gt; Maybe (c (CondBranch v c a))
$cdataCast2 :: forall v c a (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
(Data v, Data c, Data a, Typeable t) =&gt;
(forall d e. (Data d, Data e) =&gt; c (t d e))
-&gt; Maybe (c (CondBranch v c a))
dataCast1 :: forall (t :: * -&gt; *) (c :: * -&gt; *).
Typeable t =&gt;
(forall d. Data d =&gt; c (t d)) -&gt; Maybe (c (CondBranch v c a))
$cdataCast1 :: forall v c a (t :: * -&gt; *) (c :: * -&gt; *).
(Data v, Data c, Data a, Typeable t) =&gt;
(forall d. Data d =&gt; c (t d)) -&gt; Maybe (c (CondBranch v c a))
dataTypeOf :: CondBranch v c a -&gt; DataType
$cdataTypeOf :: forall v c a.
(Data v, Data c, Data a) =&gt;
CondBranch v c a -&gt; DataType
toConstr :: CondBranch v c a -&gt; Constr
$ctoConstr :: forall v c a.
(Data v, Data c, Data a) =&gt;
CondBranch v c a -&gt; Constr
gunfold :: forall (c :: * -&gt; *).
(forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
-&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c (CondBranch v c a)
$cgunfold :: forall v c a (c :: * -&gt; *).
(Data v, Data c, Data a) =&gt;
(forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
-&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c (CondBranch v c a)
gfoldl :: forall (c :: * -&gt; *).
(forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
-&gt; (forall g. g -&gt; c g) -&gt; CondBranch v c a -&gt; c (CondBranch v c a)
$cgfoldl :: forall v c a (c :: * -&gt; *).
(Data v, Data c, Data a) =&gt;
(forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
-&gt; (forall g. g -&gt; c g) -&gt; CondBranch v c a -&gt; c (CondBranch v c a)
</span><a href="../../base/src/Data.Data.html#Data"><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var">Data</span></a></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span><span class="hs-special">,</span><span> </span><span class="annot"><span class="annottext">(forall x. CondBranch v c a -&gt; Rep (CondBranch v c a) x)
-&gt; (forall x. Rep (CondBranch v c a) x -&gt; CondBranch v c a)
-&gt; Generic (CondBranch v c a)
forall x. Rep (CondBranch v c a) x -&gt; CondBranch v c a
forall x. CondBranch v c a -&gt; Rep (CondBranch v c a) x
forall a.
(forall x. a -&gt; Rep a x) -&gt; (forall x. Rep a x -&gt; a) -&gt; Generic a
forall v c a x. Rep (CondBranch v c a) x -&gt; CondBranch v c a
forall v c a x. CondBranch v c a -&gt; Rep (CondBranch v c a) x
$cto :: forall v c a x. Rep (CondBranch v c a) x -&gt; CondBranch v c a
$cfrom :: forall v c a x. CondBranch v c a -&gt; Rep (CondBranch v c a) x
</span><a href="../../base/src/GHC.Generics.html#Generic"><span class="hs-identifier hs-var hs-var hs-var hs-var">Generic</span></a></span><span class="hs-special">,</span><span> </span><span id="local-6989586621679625478"><span id="local-6989586621679625484"><span class="annot"><span class="annottext">(forall a b. (a -&gt; b) -&gt; CondBranch v c a -&gt; CondBranch v c b)
-&gt; (forall a b. a -&gt; CondBranch v c b -&gt; CondBranch v c a)
-&gt; Functor (CondBranch v c)
forall a b. a -&gt; CondBranch v c b -&gt; CondBranch v c a
forall a b. (a -&gt; b) -&gt; CondBranch v c a -&gt; CondBranch v c b
forall v c a b. a -&gt; CondBranch v c b -&gt; CondBranch v c a
forall v c a b. (a -&gt; b) -&gt; CondBranch v c a -&gt; CondBranch v c b
forall (f :: * -&gt; *).
(forall a b. (a -&gt; b) -&gt; f a -&gt; f b)
-&gt; (forall a b. a -&gt; f b -&gt; f a) -&gt; Functor f
&lt;$ :: forall a b. a -&gt; CondBranch v c b -&gt; CondBranch v c a
$c&lt;$ :: forall v c a b. a -&gt; CondBranch v c b -&gt; CondBranch v c a
fmap :: forall a b. (a -&gt; b) -&gt; CondBranch v c a -&gt; CondBranch v c b
$cfmap :: forall v c a b. (a -&gt; b) -&gt; CondBranch v c a -&gt; CondBranch v c b
</span><a href="../../base/src/GHC.Base.html#Functor"><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var">Functor</span></a></span></span></span><span class="hs-special">,</span><span> </span><span id="local-6989586621679625454"><span id="local-6989586621679625456"><span id="local-6989586621679625458"><span id="local-6989586621679625469"><span class="annot"><span class="annottext">Functor (CondBranch v c)
Foldable (CondBranch v c)
Functor (CondBranch v c)
-&gt; Foldable (CondBranch v c)
-&gt; (forall (f :: * -&gt; *) a b.
    Applicative f =&gt;
    (a -&gt; f b) -&gt; CondBranch v c a -&gt; f (CondBranch v c b))
-&gt; (forall (f :: * -&gt; *) a.
    Applicative f =&gt;
    CondBranch v c (f a) -&gt; f (CondBranch v c a))
-&gt; (forall (m :: * -&gt; *) a b.
    Monad m =&gt;
    (a -&gt; m b) -&gt; CondBranch v c a -&gt; m (CondBranch v c b))
-&gt; (forall (m :: * -&gt; *) a.
    Monad m =&gt;
    CondBranch v c (m a) -&gt; m (CondBranch v c a))
-&gt; Traversable (CondBranch v c)
forall v c. Functor (CondBranch v c)
forall v c. Foldable (CondBranch v c)
forall v c (m :: * -&gt; *) a.
Monad m =&gt;
CondBranch v c (m a) -&gt; m (CondBranch v c a)
forall v c (f :: * -&gt; *) a.
Applicative f =&gt;
CondBranch v c (f a) -&gt; f (CondBranch v c a)
forall v c (m :: * -&gt; *) a b.
Monad m =&gt;
(a -&gt; m b) -&gt; CondBranch v c a -&gt; m (CondBranch v c b)
forall v c (f :: * -&gt; *) a b.
Applicative f =&gt;
(a -&gt; f b) -&gt; CondBranch v c a -&gt; f (CondBranch v c b)
forall (t :: * -&gt; *).
Functor t
-&gt; Foldable t
-&gt; (forall (f :: * -&gt; *) a b.
    Applicative f =&gt;
    (a -&gt; f b) -&gt; t a -&gt; f (t b))
-&gt; (forall (f :: * -&gt; *) a. Applicative f =&gt; t (f a) -&gt; f (t a))
-&gt; (forall (m :: * -&gt; *) a b.
    Monad m =&gt;
    (a -&gt; m b) -&gt; t a -&gt; m (t b))
-&gt; (forall (m :: * -&gt; *) a. Monad m =&gt; t (m a) -&gt; m (t a))
-&gt; Traversable t
forall (m :: * -&gt; *) a.
Monad m =&gt;
CondBranch v c (m a) -&gt; m (CondBranch v c a)
forall (f :: * -&gt; *) a.
Applicative f =&gt;
CondBranch v c (f a) -&gt; f (CondBranch v c a)
forall (m :: * -&gt; *) a b.
Monad m =&gt;
(a -&gt; m b) -&gt; CondBranch v c a -&gt; m (CondBranch v c b)
forall (f :: * -&gt; *) a b.
Applicative f =&gt;
(a -&gt; f b) -&gt; CondBranch v c a -&gt; f (CondBranch v c b)
sequence :: forall (m :: * -&gt; *) a.
Monad m =&gt;
CondBranch v c (m a) -&gt; m (CondBranch v c a)
$csequence :: forall v c (m :: * -&gt; *) a.
Monad m =&gt;
CondBranch v c (m a) -&gt; m (CondBranch v c a)
mapM :: forall (m :: * -&gt; *) a b.
Monad m =&gt;
(a -&gt; m b) -&gt; CondBranch v c a -&gt; m (CondBranch v c b)
$cmapM :: forall v c (m :: * -&gt; *) a b.
Monad m =&gt;
(a -&gt; m b) -&gt; CondBranch v c a -&gt; m (CondBranch v c b)
sequenceA :: forall (f :: * -&gt; *) a.
Applicative f =&gt;
CondBranch v c (f a) -&gt; f (CondBranch v c a)
$csequenceA :: forall v c (f :: * -&gt; *) a.
Applicative f =&gt;
CondBranch v c (f a) -&gt; f (CondBranch v c a)
traverse :: forall (f :: * -&gt; *) a b.
Applicative f =&gt;
(a -&gt; f b) -&gt; CondBranch v c a -&gt; f (CondBranch v c b)
$ctraverse :: forall v c (f :: * -&gt; *) a b.
Applicative f =&gt;
(a -&gt; f b) -&gt; CondBranch v c a -&gt; f (CondBranch v c b)
</span><a href="../../base/src/Data.Traversable.html#Traversable"><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var">Traversable</span></a></span></span></span></span></span><span class="hs-special">)</span><span>
</span><span id="line-80"></span><span>
</span><span id="line-81"></span><span class="hs-comment">-- This instance is written by hand because GHC 8.0.1/8.0.2 infinite</span><span>
</span><span id="line-82"></span><span class="hs-comment">-- loops when trying to derive it with optimizations.  See</span><span>
</span><span id="line-83"></span><span class="hs-comment">-- https://gitlab.haskell.org/ghc/ghc/-/issues/13056</span><span>
</span><span id="line-84"></span><span id="local-6989586621679626319"><span id="local-6989586621679626320"><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679625421"><span id="local-6989586621679625423"><span id="local-6989586621679625425"><span id="local-6989586621679625427"><span id="local-6989586621679625429"><span id="local-6989586621679625431"><span id="local-6989586621679625433"><span id="local-6989586621679625435"><span id="local-6989586621679625437"><span id="local-6989586621679625439"><span id="local-6989586621679625441"><span id="local-6989586621679625443"><span id="local-6989586621679625445"><span id="local-6989586621679625447"><span id="local-6989586621679625449"><span id="local-6989586621679625452"><span class="annot"><a href="../../base/src/Data.Foldable.html#Foldable"><span class="hs-identifier hs-type">Foldable</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626320"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626319"><span class="hs-identifier hs-type">c</span></a></span><span class="hs-special">)</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-85"></span><span>    </span><span id="local-6989586621679625412"><span class="annot"><span class="annottext">foldMap :: forall m a. Monoid m =&gt; (a -&gt; m) -&gt; CondBranch v c a -&gt; m
</span><a href="../../base/src/Data.Foldable.html#foldMap"><span class="hs-identifier hs-var hs-var hs-var hs-var">foldMap</span></a></span></span><span> </span><span id="local-6989586621679625410"><span class="annot"><span class="annottext">a -&gt; m
</span><a href="#local-6989586621679625410"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span class="annot"><span class="annottext">Condition v
</span><span class="hs-identifier">_</span></span><span> </span><span id="local-6989586621679625409"><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625409"><span class="hs-identifier hs-var">c</span></a></span></span><span> </span><span class="annot"><span class="annottext">Maybe (CondTree v c a)
</span><a href="../../base/src/GHC.Maybe.html#Nothing"><span class="hs-identifier hs-var">Nothing</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(a -&gt; m) -&gt; CondTree v c a -&gt; m
forall (t :: * -&gt; *) m a.
(Foldable t, Monoid m) =&gt;
(a -&gt; m) -&gt; t a -&gt; m
</span><a href="../../base/src/Data.Foldable.html#foldMap"><span class="hs-identifier hs-var">foldMap</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; m
</span><a href="#local-6989586621679625410"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625409"><span class="hs-identifier hs-var">c</span></a></span><span>
</span><span id="line-86"></span><span>    </span><span class="annot"><a href="../../base/src/Data.Foldable.html#foldMap"><span class="hs-identifier hs-var">foldMap</span></a></span><span> </span><span id="local-6989586621679625408"><span class="annot"><span class="annottext">a -&gt; m
</span><a href="#local-6989586621679625408"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span class="annot"><span class="annottext">Condition v
</span><span class="hs-identifier">_</span></span><span> </span><span id="local-6989586621679625407"><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625407"><span class="hs-identifier hs-var">c</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="../../base/src/GHC.Maybe.html#Just"><span class="hs-identifier hs-type">Just</span></a></span><span> </span><span id="local-6989586621679625406"><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625406"><span class="hs-identifier hs-var">a</span></a></span></span><span class="hs-special">)</span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(a -&gt; m) -&gt; CondTree v c a -&gt; m
forall (t :: * -&gt; *) m a.
(Foldable t, Monoid m) =&gt;
(a -&gt; m) -&gt; t a -&gt; m
</span><a href="../../base/src/Data.Foldable.html#foldMap"><span class="hs-identifier hs-var">foldMap</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; m
</span><a href="#local-6989586621679625408"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625407"><span class="hs-identifier hs-var">c</span></a></span><span> </span><span class="annot"><span class="annottext">m -&gt; m -&gt; m
forall a. Monoid a =&gt; a -&gt; a -&gt; a
</span><a href="../../base/src/GHC.Base.html#mappend"><span class="hs-operator hs-var">`mappend`</span></a></span><span> </span><span class="annot"><span class="annottext">(a -&gt; m) -&gt; CondTree v c a -&gt; m
forall (t :: * -&gt; *) m a.
(Foldable t, Monoid m) =&gt;
(a -&gt; m) -&gt; t a -&gt; m
</span><a href="../../base/src/Data.Foldable.html#foldMap"><span class="hs-identifier hs-var">foldMap</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; m
</span><a href="#local-6989586621679625408"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625406"><span class="hs-identifier hs-var">a</span></a></span></span></span><span>
</span><span id="line-87"></span><span>
</span><span id="line-88"></span><span id="local-6989586621679626247"><span id="local-6989586621679626248"><span id="local-6989586621679626249"><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679625400"><span id="local-6989586621679625402"><span id="local-6989586621679625404"><span class="hs-special">(</span><span class="annot"><a href="../../binary/src/Data.Binary.Class.html#Binary"><span class="hs-identifier hs-type">Binary</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626249"><span class="hs-identifier hs-type">v</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../binary/src/Data.Binary.Class.html#Binary"><span class="hs-identifier hs-type">Binary</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626248"><span class="hs-identifier hs-type">c</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../binary/src/Data.Binary.Class.html#Binary"><span class="hs-identifier hs-type">Binary</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626247"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="../../binary/src/Data.Binary.Class.html#Binary"><span class="hs-identifier hs-type">Binary</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626249"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626248"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626247"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span></span></span></span></span></span><span>
</span><span id="line-89"></span><span id="local-6989586621679626244"><span id="local-6989586621679626245"><span id="local-6989586621679626246"><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679625393"><span id="local-6989586621679625395"><span class="hs-special">(</span><span class="annot"><a href="Distribution.Utils.Structured.html#Structured"><span class="hs-identifier hs-type">Structured</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626246"><span class="hs-identifier hs-type">v</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Distribution.Utils.Structured.html#Structured"><span class="hs-identifier hs-type">Structured</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626245"><span class="hs-identifier hs-type">c</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Distribution.Utils.Structured.html#Structured"><span class="hs-identifier hs-type">Structured</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626244"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="Distribution.Utils.Structured.html#Structured"><span class="hs-identifier hs-type">Structured</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626246"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626245"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626244"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span></span></span></span></span><span>
</span><span id="line-90"></span><span id="local-6989586621679626273"><span id="local-6989586621679626274"><span id="local-6989586621679626275"><span class="hs-keyword">instance</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="../../deepseq/src/Control.DeepSeq.html#NFData"><span class="hs-identifier hs-type">NFData</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626275"><span class="hs-identifier hs-type">v</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../deepseq/src/Control.DeepSeq.html#NFData"><span class="hs-identifier hs-type">NFData</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626274"><span class="hs-identifier hs-type">c</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../deepseq/src/Control.DeepSeq.html#NFData"><span class="hs-identifier hs-type">NFData</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626273"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="../../deepseq/src/Control.DeepSeq.html#NFData"><span class="hs-identifier hs-type">NFData</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626275"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626274"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626273"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-keyword">where</span><span> </span><span id="local-6989586621679625369"><span class="annot"><span class="annottext">rnf :: CondBranch v c a -&gt; ()
</span><a href="#local-6989586621679625369"><span class="hs-identifier hs-var hs-var hs-var hs-var">rnf</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">CondBranch v c a -&gt; ()
forall a. (Generic a, GNFData (Rep a)) =&gt; a -&gt; ()
</span><a href="Distribution.Compat.Prelude.html#genericRnf"><span class="hs-identifier hs-var">genericRnf</span></a></span></span></span></span><span>
</span><span id="line-91"></span><span>
</span><span id="line-92"></span><span id="local-6989586621679626236"><span id="local-6989586621679626237"><span id="local-6989586621679626238"><span class="annot"><a href="Distribution.Types.CondTree.html#condIfThen"><span class="hs-identifier hs-type">condIfThen</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Distribution.Types.Condition.html#Condition"><span class="hs-identifier hs-type">Condition</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626238"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626238"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626237"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626236"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626238"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626237"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626236"><span class="hs-identifier hs-type">a</span></a></span></span></span></span><span>
</span><span id="line-93"></span><span id="condIfThen"><span class="annot"><span class="annottext">condIfThen :: forall v c a. Condition v -&gt; CondTree v c a -&gt; CondBranch v c a
</span><a href="Distribution.Types.CondTree.html#condIfThen"><span class="hs-identifier hs-var hs-var">condIfThen</span></a></span></span><span> </span><span id="local-6989586621679625368"><span class="annot"><span class="annottext">Condition v
</span><a href="#local-6989586621679625368"><span class="hs-identifier hs-var">c</span></a></span></span><span> </span><span id="local-6989586621679625367"><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625367"><span class="hs-identifier hs-var">t</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Condition v
-&gt; CondTree v c a -&gt; Maybe (CondTree v c a) -&gt; CondBranch v c a
forall v c a.
Condition v
-&gt; CondTree v c a -&gt; Maybe (CondTree v c a) -&gt; CondBranch v c a
</span><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-var">CondBranch</span></a></span><span> </span><span class="annot"><span class="annottext">Condition v
</span><a href="#local-6989586621679625368"><span class="hs-identifier hs-var">c</span></a></span><span> </span><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625367"><span class="hs-identifier hs-var">t</span></a></span><span> </span><span class="annot"><span class="annottext">Maybe (CondTree v c a)
forall a. Maybe a
</span><a href="../../base/src/GHC.Maybe.html#Nothing"><span class="hs-identifier hs-var">Nothing</span></a></span><span>
</span><span id="line-94"></span><span>
</span><span id="line-95"></span><span id="local-6989586621679626229"><span id="local-6989586621679626230"><span id="local-6989586621679626231"><span class="annot"><a href="Distribution.Types.CondTree.html#condIfThenElse"><span class="hs-identifier hs-type">condIfThenElse</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Distribution.Types.Condition.html#Condition"><span class="hs-identifier hs-type">Condition</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626231"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626231"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626230"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626229"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626231"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626230"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626229"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626231"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626230"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626229"><span class="hs-identifier hs-type">a</span></a></span></span></span></span><span>
</span><span id="line-96"></span><span id="condIfThenElse"><span class="annot"><span class="annottext">condIfThenElse :: forall v c a.
Condition v -&gt; CondTree v c a -&gt; CondTree v c a -&gt; CondBranch v c a
</span><a href="Distribution.Types.CondTree.html#condIfThenElse"><span class="hs-identifier hs-var hs-var">condIfThenElse</span></a></span></span><span> </span><span id="local-6989586621679625366"><span class="annot"><span class="annottext">Condition v
</span><a href="#local-6989586621679625366"><span class="hs-identifier hs-var">c</span></a></span></span><span> </span><span id="local-6989586621679625365"><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625365"><span class="hs-identifier hs-var">t</span></a></span></span><span> </span><span id="local-6989586621679625364"><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625364"><span class="hs-identifier hs-var">e</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Condition v
-&gt; CondTree v c a -&gt; Maybe (CondTree v c a) -&gt; CondBranch v c a
forall v c a.
Condition v
-&gt; CondTree v c a -&gt; Maybe (CondTree v c a) -&gt; CondBranch v c a
</span><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-var">CondBranch</span></a></span><span> </span><span class="annot"><span class="annottext">Condition v
</span><a href="#local-6989586621679625366"><span class="hs-identifier hs-var">c</span></a></span><span> </span><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625365"><span class="hs-identifier hs-var">t</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">CondTree v c a -&gt; Maybe (CondTree v c a)
forall a. a -&gt; Maybe a
</span><a href="../../base/src/GHC.Maybe.html#Just"><span class="hs-identifier hs-var">Just</span></a></span><span> </span><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625364"><span class="hs-identifier hs-var">e</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-97"></span><span>
</span><span id="line-98"></span><span id="local-6989586621679626220"><span id="local-6989586621679626221"><span id="local-6989586621679626222"><span id="local-6989586621679626223"><span id="local-6989586621679626224"><span id="local-6989586621679626225"><span class="annot"><a href="Distribution.Types.CondTree.html#mapCondTree"><span class="hs-identifier hs-type">mapCondTree</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="#local-6989586621679626225"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621679626224"><span class="hs-identifier hs-type">b</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="#local-6989586621679626223"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621679626222"><span class="hs-identifier hs-type">d</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.Condition.html#Condition"><span class="hs-identifier hs-type">Condition</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626221"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.Condition.html#Condition"><span class="hs-identifier hs-type">Condition</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626220"><span class="hs-identifier hs-type">w</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-99"></span><span>            </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626221"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626223"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626225"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626220"><span class="hs-identifier hs-type">w</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626222"><span class="hs-identifier hs-type">d</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626224"><span class="hs-identifier hs-type">b</span></a></span></span></span></span></span></span></span><span>
</span><span id="line-100"></span><span id="mapCondTree"><span class="annot"><span class="annottext">mapCondTree :: forall a b c d v w.
(a -&gt; b)
-&gt; (c -&gt; d)
-&gt; (Condition v -&gt; Condition w)
-&gt; CondTree v c a
-&gt; CondTree w d b
</span><a href="Distribution.Types.CondTree.html#mapCondTree"><span class="hs-identifier hs-var hs-var">mapCondTree</span></a></span></span><span> </span><span id="local-6989586621679625363"><span class="annot"><span class="annottext">a -&gt; b
</span><a href="#local-6989586621679625363"><span class="hs-identifier hs-var">fa</span></a></span></span><span> </span><span id="local-6989586621679625362"><span class="annot"><span class="annottext">c -&gt; d
</span><a href="#local-6989586621679625362"><span class="hs-identifier hs-var">fc</span></a></span></span><span> </span><span id="local-6989586621679625361"><span class="annot"><span class="annottext">Condition v -&gt; Condition w
</span><a href="#local-6989586621679625361"><span class="hs-identifier hs-var">fcnd</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondNode"><span class="hs-identifier hs-type">CondNode</span></a></span><span> </span><span id="local-6989586621679625360"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679625360"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621679625359"><span class="annot"><span class="annottext">c
</span><a href="#local-6989586621679625359"><span class="hs-identifier hs-var">c</span></a></span></span><span> </span><span id="local-6989586621679625358"><span class="annot"><span class="annottext">[CondBranch v c a]
</span><a href="#local-6989586621679625358"><span class="hs-identifier hs-var">ifs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span>
</span><span id="line-101"></span><span>    </span><span class="annot"><span class="annottext">b -&gt; d -&gt; [CondBranch w d b] -&gt; CondTree w d b
forall v c a. a -&gt; c -&gt; [CondBranch v c a] -&gt; CondTree v c a
</span><a href="Distribution.Types.CondTree.html#CondNode"><span class="hs-identifier hs-var">CondNode</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">a -&gt; b
</span><a href="#local-6989586621679625363"><span class="hs-identifier hs-var">fa</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679625360"><span class="hs-identifier hs-var">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">c -&gt; d
</span><a href="#local-6989586621679625362"><span class="hs-identifier hs-var">fc</span></a></span><span> </span><span class="annot"><span class="annottext">c
</span><a href="#local-6989586621679625359"><span class="hs-identifier hs-var">c</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">(CondBranch v c a -&gt; CondBranch w d b)
-&gt; [CondBranch v c a] -&gt; [CondBranch w d b]
forall a b. (a -&gt; b) -&gt; [a] -&gt; [b]
</span><a href="../../base/src/GHC.Base.html#map"><span class="hs-identifier hs-var">map</span></a></span><span> </span><span class="annot"><span class="annottext">CondBranch v c a -&gt; CondBranch w d b
</span><a href="#local-6989586621679625357"><span class="hs-identifier hs-var">g</span></a></span><span> </span><span class="annot"><span class="annottext">[CondBranch v c a]
</span><a href="#local-6989586621679625358"><span class="hs-identifier hs-var">ifs</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-102"></span><span>  </span><span class="hs-keyword">where</span><span>
</span><span id="line-103"></span><span>    </span><span id="local-6989586621679625357"><span class="annot"><span class="annottext">g :: CondBranch v c a -&gt; CondBranch w d b
</span><a href="#local-6989586621679625357"><span class="hs-identifier hs-var hs-var">g</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span id="local-6989586621679625355"><span class="annot"><span class="annottext">Condition v
</span><a href="#local-6989586621679625355"><span class="hs-identifier hs-var">cnd</span></a></span></span><span> </span><span id="local-6989586621679625354"><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625354"><span class="hs-identifier hs-var">t</span></a></span></span><span> </span><span id="local-6989586621679625353"><span class="annot"><span class="annottext">Maybe (CondTree v c a)
</span><a href="#local-6989586621679625353"><span class="hs-identifier hs-var">me</span></a></span></span><span class="hs-special">)</span><span>
</span><span id="line-104"></span><span>        </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Condition w
-&gt; CondTree w d b -&gt; Maybe (CondTree w d b) -&gt; CondBranch w d b
forall v c a.
Condition v
-&gt; CondTree v c a -&gt; Maybe (CondTree v c a) -&gt; CondBranch v c a
</span><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-var">CondBranch</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">Condition v -&gt; Condition w
</span><a href="#local-6989586621679625361"><span class="hs-identifier hs-var">fcnd</span></a></span><span> </span><span class="annot"><span class="annottext">Condition v
</span><a href="#local-6989586621679625355"><span class="hs-identifier hs-var">cnd</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-105"></span><span>                     </span><span class="hs-special">(</span><span class="annot"><span class="annottext">(a -&gt; b)
-&gt; (c -&gt; d)
-&gt; (Condition v -&gt; Condition w)
-&gt; CondTree v c a
-&gt; CondTree w d b
forall a b c d v w.
(a -&gt; b)
-&gt; (c -&gt; d)
-&gt; (Condition v -&gt; Condition w)
-&gt; CondTree v c a
-&gt; CondTree w d b
</span><a href="Distribution.Types.CondTree.html#mapCondTree"><span class="hs-identifier hs-var">mapCondTree</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; b
</span><a href="#local-6989586621679625363"><span class="hs-identifier hs-var">fa</span></a></span><span> </span><span class="annot"><span class="annottext">c -&gt; d
</span><a href="#local-6989586621679625362"><span class="hs-identifier hs-var">fc</span></a></span><span> </span><span class="annot"><span class="annottext">Condition v -&gt; Condition w
</span><a href="#local-6989586621679625361"><span class="hs-identifier hs-var">fcnd</span></a></span><span> </span><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625354"><span class="hs-identifier hs-var">t</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-106"></span><span>                     </span><span class="hs-special">(</span><span class="annot"><span class="annottext">(CondTree v c a -&gt; CondTree w d b)
-&gt; Maybe (CondTree v c a) -&gt; Maybe (CondTree w d b)
forall (f :: * -&gt; *) a b. Functor f =&gt; (a -&gt; b) -&gt; f a -&gt; f b
</span><a href="../../base/src/GHC.Base.html#fmap"><span class="hs-identifier hs-var">fmap</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">(a -&gt; b)
-&gt; (c -&gt; d)
-&gt; (Condition v -&gt; Condition w)
-&gt; CondTree v c a
-&gt; CondTree w d b
forall a b c d v w.
(a -&gt; b)
-&gt; (c -&gt; d)
-&gt; (Condition v -&gt; Condition w)
-&gt; CondTree v c a
-&gt; CondTree w d b
</span><a href="Distribution.Types.CondTree.html#mapCondTree"><span class="hs-identifier hs-var">mapCondTree</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; b
</span><a href="#local-6989586621679625363"><span class="hs-identifier hs-var">fa</span></a></span><span> </span><span class="annot"><span class="annottext">c -&gt; d
</span><a href="#local-6989586621679625362"><span class="hs-identifier hs-var">fc</span></a></span><span> </span><span class="annot"><span class="annottext">Condition v -&gt; Condition w
</span><a href="#local-6989586621679625361"><span class="hs-identifier hs-var">fcnd</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><span class="annottext">Maybe (CondTree v c a)
</span><a href="#local-6989586621679625353"><span class="hs-identifier hs-var">me</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-107"></span><span>
</span><span id="line-108"></span><span id="local-6989586621679626208"><span id="local-6989586621679626209"><span id="local-6989586621679626210"><span id="local-6989586621679626211"><span class="annot"><a href="Distribution.Types.CondTree.html#mapTreeConstrs"><span class="hs-identifier hs-type">mapTreeConstrs</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="#local-6989586621679626211"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621679626210"><span class="hs-identifier hs-type">d</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626209"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626211"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626208"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626209"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626210"><span class="hs-identifier hs-type">d</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626208"><span class="hs-identifier hs-type">a</span></a></span></span></span></span></span><span>
</span><span id="line-109"></span><span id="mapTreeConstrs"><span class="annot"><span class="annottext">mapTreeConstrs :: forall c d v a. (c -&gt; d) -&gt; CondTree v c a -&gt; CondTree v d a
</span><a href="Distribution.Types.CondTree.html#mapTreeConstrs"><span class="hs-identifier hs-var hs-var">mapTreeConstrs</span></a></span></span><span> </span><span id="local-6989586621679625352"><span class="annot"><span class="annottext">c -&gt; d
</span><a href="#local-6989586621679625352"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(a -&gt; a)
-&gt; (c -&gt; d)
-&gt; (Condition v -&gt; Condition v)
-&gt; CondTree v c a
-&gt; CondTree v d a
forall a b c d v w.
(a -&gt; b)
-&gt; (c -&gt; d)
-&gt; (Condition v -&gt; Condition w)
-&gt; CondTree v c a
-&gt; CondTree w d b
</span><a href="Distribution.Types.CondTree.html#mapCondTree"><span class="hs-identifier hs-var">mapCondTree</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; a
forall a. a -&gt; a
</span><a href="../../base/src/GHC.Base.html#id"><span class="hs-identifier hs-var">id</span></a></span><span> </span><span class="annot"><span class="annottext">c -&gt; d
</span><a href="#local-6989586621679625352"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">Condition v -&gt; Condition v
forall a. a -&gt; a
</span><a href="../../base/src/GHC.Base.html#id"><span class="hs-identifier hs-var">id</span></a></span><span>
</span><span id="line-110"></span><span>
</span><span id="line-111"></span><span id="local-6989586621679626199"><span id="local-6989586621679626200"><span id="local-6989586621679626201"><span id="local-6989586621679626202"><span class="annot"><a href="Distribution.Types.CondTree.html#mapTreeConds"><span class="hs-identifier hs-type">mapTreeConds</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.Condition.html#Condition"><span class="hs-identifier hs-type">Condition</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626202"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.Condition.html#Condition"><span class="hs-identifier hs-type">Condition</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626201"><span class="hs-identifier hs-type">w</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626202"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626200"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626199"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626201"><span class="hs-identifier hs-type">w</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626200"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626199"><span class="hs-identifier hs-type">a</span></a></span></span></span></span></span><span>
</span><span id="line-112"></span><span id="mapTreeConds"><span class="annot"><span class="annottext">mapTreeConds :: forall v w c a.
(Condition v -&gt; Condition w) -&gt; CondTree v c a -&gt; CondTree w c a
</span><a href="Distribution.Types.CondTree.html#mapTreeConds"><span class="hs-identifier hs-var hs-var">mapTreeConds</span></a></span></span><span> </span><span id="local-6989586621679625350"><span class="annot"><span class="annottext">Condition v -&gt; Condition w
</span><a href="#local-6989586621679625350"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(a -&gt; a)
-&gt; (c -&gt; c)
-&gt; (Condition v -&gt; Condition w)
-&gt; CondTree v c a
-&gt; CondTree w c a
forall a b c d v w.
(a -&gt; b)
-&gt; (c -&gt; d)
-&gt; (Condition v -&gt; Condition w)
-&gt; CondTree v c a
-&gt; CondTree w d b
</span><a href="Distribution.Types.CondTree.html#mapCondTree"><span class="hs-identifier hs-var">mapCondTree</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; a
forall a. a -&gt; a
</span><a href="../../base/src/GHC.Base.html#id"><span class="hs-identifier hs-var">id</span></a></span><span> </span><span class="annot"><span class="annottext">c -&gt; c
forall a. a -&gt; a
</span><a href="../../base/src/GHC.Base.html#id"><span class="hs-identifier hs-var">id</span></a></span><span> </span><span class="annot"><span class="annottext">Condition v -&gt; Condition w
</span><a href="#local-6989586621679625350"><span class="hs-identifier hs-var">f</span></a></span><span>
</span><span id="line-113"></span><span>
</span><span id="line-114"></span><span id="local-6989586621679626191"><span id="local-6989586621679626192"><span id="local-6989586621679626193"><span id="local-6989586621679626194"><span class="annot"><a href="Distribution.Types.CondTree.html#mapTreeData"><span class="hs-identifier hs-type">mapTreeData</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="#local-6989586621679626194"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621679626193"><span class="hs-identifier hs-type">b</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626192"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626191"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626194"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626192"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626191"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626193"><span class="hs-identifier hs-type">b</span></a></span></span></span></span></span><span>
</span><span id="line-115"></span><span id="mapTreeData"><span class="annot"><span class="annottext">mapTreeData :: forall a b v c. (a -&gt; b) -&gt; CondTree v c a -&gt; CondTree v c b
</span><a href="Distribution.Types.CondTree.html#mapTreeData"><span class="hs-identifier hs-var hs-var">mapTreeData</span></a></span></span><span> </span><span id="local-6989586621679625349"><span class="annot"><span class="annottext">a -&gt; b
</span><a href="#local-6989586621679625349"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(a -&gt; b)
-&gt; (c -&gt; c)
-&gt; (Condition v -&gt; Condition v)
-&gt; CondTree v c a
-&gt; CondTree v c b
forall a b c d v w.
(a -&gt; b)
-&gt; (c -&gt; d)
-&gt; (Condition v -&gt; Condition w)
-&gt; CondTree v c a
-&gt; CondTree w d b
</span><a href="Distribution.Types.CondTree.html#mapCondTree"><span class="hs-identifier hs-var">mapCondTree</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; b
</span><a href="#local-6989586621679625349"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">c -&gt; c
forall a. a -&gt; a
</span><a href="../../base/src/GHC.Base.html#id"><span class="hs-identifier hs-var">id</span></a></span><span> </span><span class="annot"><span class="annottext">Condition v -&gt; Condition v
forall a. a -&gt; a
</span><a href="../../base/src/GHC.Base.html#id"><span class="hs-identifier hs-var">id</span></a></span><span>
</span><span id="line-116"></span><span>
</span><span id="line-117"></span><span class="hs-comment">-- | @@Traversal@@ for the variables</span><span>
</span><span id="line-118"></span><span id="local-6989586621679626183"><span id="local-6989586621679626184"><span id="local-6989586621679626185"><span id="local-6989586621679626186"><span class="annot"><a href="Distribution.Types.CondTree.html#traverseCondTreeV"><span class="hs-identifier hs-type">traverseCondTreeV</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Distribution.Compat.Lens.html#Traversal"><span class="hs-identifier hs-type">L.Traversal</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626186"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626185"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626184"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626183"><span class="hs-identifier hs-type">w</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626185"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626184"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><a href="#local-6989586621679626186"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626183"><span class="hs-identifier hs-type">w</span></a></span></span></span></span></span><span>
</span><span id="line-119"></span><span id="traverseCondTreeV"><span class="annot"><span class="annottext">traverseCondTreeV :: forall v c a w. Traversal (CondTree v c a) (CondTree w c a) v w
</span><a href="Distribution.Types.CondTree.html#traverseCondTreeV"><span class="hs-identifier hs-var hs-var">traverseCondTreeV</span></a></span></span><span> </span><span id="local-6989586621679625341"><span class="annot"><span class="annottext">v -&gt; f w
</span><a href="#local-6989586621679625341"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondNode"><span class="hs-identifier hs-type">CondNode</span></a></span><span> </span><span id="local-6989586621679625340"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679625340"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621679625339"><span class="annot"><span class="annottext">c
</span><a href="#local-6989586621679625339"><span class="hs-identifier hs-var">c</span></a></span></span><span> </span><span id="local-6989586621679625338"><span class="annot"><span class="annottext">[CondBranch v c a]
</span><a href="#local-6989586621679625338"><span class="hs-identifier hs-var">ifs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span>
</span><span id="line-120"></span><span>    </span><span class="annot"><span class="annottext">a -&gt; c -&gt; [CondBranch w c a] -&gt; CondTree w c a
forall v c a. a -&gt; c -&gt; [CondBranch v c a] -&gt; CondTree v c a
</span><a href="Distribution.Types.CondTree.html#CondNode"><span class="hs-identifier hs-var">CondNode</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679625340"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">c
</span><a href="#local-6989586621679625339"><span class="hs-identifier hs-var">c</span></a></span><span> </span><span class="annot"><span class="annottext">([CondBranch w c a] -&gt; CondTree w c a)
-&gt; f [CondBranch w c a] -&gt; f (CondTree w c a)
forall (f :: * -&gt; *) a b. Functor f =&gt; (a -&gt; b) -&gt; f a -&gt; f b
</span><a href="../../base/src/Data.Functor.html#%3C%24%3E"><span class="hs-operator hs-var">&lt;$&gt;</span></a></span><span> </span><span class="annot"><span class="annottext">(CondBranch v c a -&gt; f (CondBranch w c a))
-&gt; [CondBranch v c a] -&gt; f [CondBranch w c a]
forall (t :: * -&gt; *) (f :: * -&gt; *) a b.
(Traversable t, Applicative f) =&gt;
(a -&gt; f b) -&gt; t a -&gt; f (t b)
</span><a href="../../base/src/Data.Traversable.html#traverse"><span class="hs-identifier hs-var">traverse</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">LensLike f (CondBranch v c a) (CondBranch w c a) v w
forall v c a w. Traversal (CondBranch v c a) (CondBranch w c a) v w
</span><a href="Distribution.Types.CondTree.html#traverseCondBranchV"><span class="hs-identifier hs-var">traverseCondBranchV</span></a></span><span> </span><span class="annot"><span class="annottext">v -&gt; f w
</span><a href="#local-6989586621679625341"><span class="hs-identifier hs-var">f</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><span class="annottext">[CondBranch v c a]
</span><a href="#local-6989586621679625338"><span class="hs-identifier hs-var">ifs</span></a></span><span>
</span><span id="line-121"></span><span>
</span><span id="line-122"></span><span class="hs-comment">-- | @@Traversal@@ for the variables</span><span>
</span><span id="line-123"></span><span id="local-6989586621679626168"><span id="local-6989586621679626169"><span id="local-6989586621679626170"><span id="local-6989586621679626171"><span class="annot"><a href="Distribution.Types.CondTree.html#traverseCondBranchV"><span class="hs-identifier hs-type">traverseCondBranchV</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Distribution.Compat.Lens.html#Traversal"><span class="hs-identifier hs-type">L.Traversal</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626171"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626170"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626169"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626168"><span class="hs-identifier hs-type">w</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626170"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626169"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><a href="#local-6989586621679626171"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626168"><span class="hs-identifier hs-type">w</span></a></span></span></span></span></span><span>
</span><span id="line-124"></span><span id="traverseCondBranchV"><span class="annot"><span class="annottext">traverseCondBranchV :: forall v c a w. Traversal (CondBranch v c a) (CondBranch w c a) v w
</span><a href="Distribution.Types.CondTree.html#traverseCondBranchV"><span class="hs-identifier hs-var hs-var">traverseCondBranchV</span></a></span></span><span> </span><span id="local-6989586621679625323"><span class="annot"><span class="annottext">v -&gt; f w
</span><a href="#local-6989586621679625323"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span id="local-6989586621679625322"><span class="annot"><span class="annottext">Condition v
</span><a href="#local-6989586621679625322"><span class="hs-identifier hs-var">cnd</span></a></span></span><span> </span><span id="local-6989586621679625321"><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625321"><span class="hs-identifier hs-var">t</span></a></span></span><span> </span><span id="local-6989586621679625320"><span class="annot"><span class="annottext">Maybe (CondTree v c a)
</span><a href="#local-6989586621679625320"><span class="hs-identifier hs-var">me</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Condition w
-&gt; CondTree w c a -&gt; Maybe (CondTree w c a) -&gt; CondBranch w c a
forall v c a.
Condition v
-&gt; CondTree v c a -&gt; Maybe (CondTree v c a) -&gt; CondBranch v c a
</span><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-var">CondBranch</span></a></span><span>
</span><span id="line-125"></span><span>    </span><span class="annot"><span class="annottext">(Condition w
 -&gt; CondTree w c a -&gt; Maybe (CondTree w c a) -&gt; CondBranch w c a)
-&gt; f (Condition w)
-&gt; f (CondTree w c a -&gt; Maybe (CondTree w c a) -&gt; CondBranch w c a)
forall (f :: * -&gt; *) a b. Functor f =&gt; (a -&gt; b) -&gt; f a -&gt; f b
</span><a href="../../base/src/Data.Functor.html#%3C%24%3E"><span class="hs-operator hs-var">&lt;$&gt;</span></a></span><span> </span><span class="annot"><span class="annottext">(v -&gt; f w) -&gt; Condition v -&gt; f (Condition w)
forall (t :: * -&gt; *) (f :: * -&gt; *) a b.
(Traversable t, Applicative f) =&gt;
(a -&gt; f b) -&gt; t a -&gt; f (t b)
</span><a href="../../base/src/Data.Traversable.html#traverse"><span class="hs-identifier hs-var">traverse</span></a></span><span> </span><span class="annot"><span class="annottext">v -&gt; f w
</span><a href="#local-6989586621679625323"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">Condition v
</span><a href="#local-6989586621679625322"><span class="hs-identifier hs-var">cnd</span></a></span><span>
</span><span id="line-126"></span><span>    </span><span class="annot"><span class="annottext">f (CondTree w c a -&gt; Maybe (CondTree w c a) -&gt; CondBranch w c a)
-&gt; f (CondTree w c a)
-&gt; f (Maybe (CondTree w c a) -&gt; CondBranch w c a)
forall (f :: * -&gt; *) a b. Applicative f =&gt; f (a -&gt; b) -&gt; f a -&gt; f b
</span><a href="../../base/src/GHC.Base.html#%3C%2A%3E"><span class="hs-operator hs-var">&lt;*&gt;</span></a></span><span> </span><span class="annot"><span class="annottext">LensLike f (CondTree v c a) (CondTree w c a) v w
forall v c a w. Traversal (CondTree v c a) (CondTree w c a) v w
</span><a href="Distribution.Types.CondTree.html#traverseCondTreeV"><span class="hs-identifier hs-var">traverseCondTreeV</span></a></span><span> </span><span class="annot"><span class="annottext">v -&gt; f w
</span><a href="#local-6989586621679625323"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625321"><span class="hs-identifier hs-var">t</span></a></span><span>
</span><span id="line-127"></span><span>    </span><span class="annot"><span class="annottext">f (Maybe (CondTree w c a) -&gt; CondBranch w c a)
-&gt; f (Maybe (CondTree w c a)) -&gt; f (CondBranch w c a)
forall (f :: * -&gt; *) a b. Applicative f =&gt; f (a -&gt; b) -&gt; f a -&gt; f b
</span><a href="../../base/src/GHC.Base.html#%3C%2A%3E"><span class="hs-operator hs-var">&lt;*&gt;</span></a></span><span> </span><span class="annot"><span class="annottext">(CondTree v c a -&gt; f (CondTree w c a))
-&gt; Maybe (CondTree v c a) -&gt; f (Maybe (CondTree w c a))
forall (t :: * -&gt; *) (f :: * -&gt; *) a b.
(Traversable t, Applicative f) =&gt;
(a -&gt; f b) -&gt; t a -&gt; f (t b)
</span><a href="../../base/src/Data.Traversable.html#traverse"><span class="hs-identifier hs-var">traverse</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">LensLike f (CondTree v c a) (CondTree w c a) v w
forall v c a w. Traversal (CondTree v c a) (CondTree w c a) v w
</span><a href="Distribution.Types.CondTree.html#traverseCondTreeV"><span class="hs-identifier hs-var">traverseCondTreeV</span></a></span><span> </span><span class="annot"><span class="annottext">v -&gt; f w
</span><a href="#local-6989586621679625323"><span class="hs-identifier hs-var">f</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><span class="annottext">Maybe (CondTree v c a)
</span><a href="#local-6989586621679625320"><span class="hs-identifier hs-var">me</span></a></span><span>
</span><span id="line-128"></span><span>
</span><span id="line-129"></span><span class="hs-comment">-- | @@Traversal@@ for the aggregated constraints</span><span>
</span><span id="line-130"></span><span id="local-6989586621679626157"><span id="local-6989586621679626158"><span id="local-6989586621679626159"><span id="local-6989586621679626160"><span class="annot"><a href="Distribution.Types.CondTree.html#traverseCondTreeC"><span class="hs-identifier hs-type">traverseCondTreeC</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Distribution.Compat.Lens.html#Traversal"><span class="hs-identifier hs-type">L.Traversal</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626160"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626159"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626158"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626160"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626157"><span class="hs-identifier hs-type">d</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626158"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><a href="#local-6989586621679626159"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626157"><span class="hs-identifier hs-type">d</span></a></span></span></span></span></span><span>
</span><span id="line-131"></span><span id="traverseCondTreeC"><span class="annot"><span class="annottext">traverseCondTreeC :: forall v c a d. Traversal (CondTree v c a) (CondTree v d a) c d
</span><a href="Distribution.Types.CondTree.html#traverseCondTreeC"><span class="hs-identifier hs-var hs-var">traverseCondTreeC</span></a></span></span><span> </span><span id="local-6989586621679625312"><span class="annot"><span class="annottext">c -&gt; f d
</span><a href="#local-6989586621679625312"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondNode"><span class="hs-identifier hs-type">CondNode</span></a></span><span> </span><span id="local-6989586621679625311"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679625311"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621679625310"><span class="annot"><span class="annottext">c
</span><a href="#local-6989586621679625310"><span class="hs-identifier hs-var">c</span></a></span></span><span> </span><span id="local-6989586621679625309"><span class="annot"><span class="annottext">[CondBranch v c a]
</span><a href="#local-6989586621679625309"><span class="hs-identifier hs-var">ifs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span>
</span><span id="line-132"></span><span>    </span><span class="annot"><span class="annottext">a -&gt; d -&gt; [CondBranch v d a] -&gt; CondTree v d a
forall v c a. a -&gt; c -&gt; [CondBranch v c a] -&gt; CondTree v c a
</span><a href="Distribution.Types.CondTree.html#CondNode"><span class="hs-identifier hs-var">CondNode</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679625311"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">(d -&gt; [CondBranch v d a] -&gt; CondTree v d a)
-&gt; f d -&gt; f ([CondBranch v d a] -&gt; CondTree v d a)
forall (f :: * -&gt; *) a b. Functor f =&gt; (a -&gt; b) -&gt; f a -&gt; f b
</span><a href="../../base/src/Data.Functor.html#%3C%24%3E"><span class="hs-operator hs-var">&lt;$&gt;</span></a></span><span> </span><span class="annot"><span class="annottext">c -&gt; f d
</span><a href="#local-6989586621679625312"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">c
</span><a href="#local-6989586621679625310"><span class="hs-identifier hs-var">c</span></a></span><span> </span><span class="annot"><span class="annottext">f ([CondBranch v d a] -&gt; CondTree v d a)
-&gt; f [CondBranch v d a] -&gt; f (CondTree v d a)
forall (f :: * -&gt; *) a b. Applicative f =&gt; f (a -&gt; b) -&gt; f a -&gt; f b
</span><a href="../../base/src/GHC.Base.html#%3C%2A%3E"><span class="hs-operator hs-var">&lt;*&gt;</span></a></span><span> </span><span class="annot"><span class="annottext">(CondBranch v c a -&gt; f (CondBranch v d a))
-&gt; [CondBranch v c a] -&gt; f [CondBranch v d a]
forall (t :: * -&gt; *) (f :: * -&gt; *) a b.
(Traversable t, Applicative f) =&gt;
(a -&gt; f b) -&gt; t a -&gt; f (t b)
</span><a href="../../base/src/Data.Traversable.html#traverse"><span class="hs-identifier hs-var">traverse</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">LensLike f (CondBranch v c a) (CondBranch v d a) c d
forall v c a d. Traversal (CondBranch v c a) (CondBranch v d a) c d
</span><a href="Distribution.Types.CondTree.html#traverseCondBranchC"><span class="hs-identifier hs-var">traverseCondBranchC</span></a></span><span> </span><span class="annot"><span class="annottext">c -&gt; f d
</span><a href="#local-6989586621679625312"><span class="hs-identifier hs-var">f</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><span class="annottext">[CondBranch v c a]
</span><a href="#local-6989586621679625309"><span class="hs-identifier hs-var">ifs</span></a></span><span>
</span><span id="line-133"></span><span>
</span><span id="line-134"></span><span class="hs-comment">-- | @@Traversal@@ for the aggregated constraints</span><span>
</span><span id="line-135"></span><span id="local-6989586621679626148"><span id="local-6989586621679626149"><span id="local-6989586621679626150"><span id="local-6989586621679626151"><span class="annot"><a href="Distribution.Types.CondTree.html#traverseCondBranchC"><span class="hs-identifier hs-type">traverseCondBranchC</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Distribution.Compat.Lens.html#Traversal"><span class="hs-identifier hs-type">L.Traversal</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626151"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626150"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626149"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626151"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626148"><span class="hs-identifier hs-type">d</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626149"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><a href="#local-6989586621679626150"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626148"><span class="hs-identifier hs-type">d</span></a></span></span></span></span></span><span>
</span><span id="line-136"></span><span id="traverseCondBranchC"><span class="annot"><span class="annottext">traverseCondBranchC :: forall v c a d. Traversal (CondBranch v c a) (CondBranch v d a) c d
</span><a href="Distribution.Types.CondTree.html#traverseCondBranchC"><span class="hs-identifier hs-var hs-var">traverseCondBranchC</span></a></span></span><span> </span><span id="local-6989586621679625300"><span class="annot"><span class="annottext">c -&gt; f d
</span><a href="#local-6989586621679625300"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span id="local-6989586621679625299"><span class="annot"><span class="annottext">Condition v
</span><a href="#local-6989586621679625299"><span class="hs-identifier hs-var">cnd</span></a></span></span><span> </span><span id="local-6989586621679625298"><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625298"><span class="hs-identifier hs-var">t</span></a></span></span><span> </span><span id="local-6989586621679625297"><span class="annot"><span class="annottext">Maybe (CondTree v c a)
</span><a href="#local-6989586621679625297"><span class="hs-identifier hs-var">me</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Condition v
-&gt; CondTree v d a -&gt; Maybe (CondTree v d a) -&gt; CondBranch v d a
forall v c a.
Condition v
-&gt; CondTree v c a -&gt; Maybe (CondTree v c a) -&gt; CondBranch v c a
</span><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-var">CondBranch</span></a></span><span> </span><span class="annot"><span class="annottext">Condition v
</span><a href="#local-6989586621679625299"><span class="hs-identifier hs-var">cnd</span></a></span><span>
</span><span id="line-137"></span><span>    </span><span class="annot"><span class="annottext">(CondTree v d a -&gt; Maybe (CondTree v d a) -&gt; CondBranch v d a)
-&gt; f (CondTree v d a)
-&gt; f (Maybe (CondTree v d a) -&gt; CondBranch v d a)
forall (f :: * -&gt; *) a b. Functor f =&gt; (a -&gt; b) -&gt; f a -&gt; f b
</span><a href="../../base/src/Data.Functor.html#%3C%24%3E"><span class="hs-operator hs-var">&lt;$&gt;</span></a></span><span> </span><span class="annot"><span class="annottext">LensLike f (CondTree v c a) (CondTree v d a) c d
forall v c a d. Traversal (CondTree v c a) (CondTree v d a) c d
</span><a href="Distribution.Types.CondTree.html#traverseCondTreeC"><span class="hs-identifier hs-var">traverseCondTreeC</span></a></span><span> </span><span class="annot"><span class="annottext">c -&gt; f d
</span><a href="#local-6989586621679625300"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625298"><span class="hs-identifier hs-var">t</span></a></span><span>
</span><span id="line-138"></span><span>    </span><span class="annot"><span class="annottext">f (Maybe (CondTree v d a) -&gt; CondBranch v d a)
-&gt; f (Maybe (CondTree v d a)) -&gt; f (CondBranch v d a)
forall (f :: * -&gt; *) a b. Applicative f =&gt; f (a -&gt; b) -&gt; f a -&gt; f b
</span><a href="../../base/src/GHC.Base.html#%3C%2A%3E"><span class="hs-operator hs-var">&lt;*&gt;</span></a></span><span> </span><span class="annot"><span class="annottext">(CondTree v c a -&gt; f (CondTree v d a))
-&gt; Maybe (CondTree v c a) -&gt; f (Maybe (CondTree v d a))
forall (t :: * -&gt; *) (f :: * -&gt; *) a b.
(Traversable t, Applicative f) =&gt;
(a -&gt; f b) -&gt; t a -&gt; f (t b)
</span><a href="../../base/src/Data.Traversable.html#traverse"><span class="hs-identifier hs-var">traverse</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">LensLike f (CondTree v c a) (CondTree v d a) c d
forall v c a d. Traversal (CondTree v c a) (CondTree v d a) c d
</span><a href="Distribution.Types.CondTree.html#traverseCondTreeC"><span class="hs-identifier hs-var">traverseCondTreeC</span></a></span><span> </span><span class="annot"><span class="annottext">c -&gt; f d
</span><a href="#local-6989586621679625300"><span class="hs-identifier hs-var">f</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><span class="annottext">Maybe (CondTree v c a)
</span><a href="#local-6989586621679625297"><span class="hs-identifier hs-var">me</span></a></span><span>
</span><span id="line-139"></span><span>
</span><span id="line-140"></span><span>
</span><span id="line-141"></span><span class="hs-comment">-- | Extract the condition matched by the given predicate from a cond tree.</span><span>
</span><span id="line-142"></span><span class="hs-comment">--</span><span>
</span><span id="line-143"></span><span class="hs-comment">-- We use this mainly for extracting buildable conditions (see the Note in</span><span>
</span><span id="line-144"></span><span class="hs-comment">-- Distribution.PackageDescription.Configuration), but the function is in fact</span><span>
</span><span id="line-145"></span><span class="hs-comment">-- more general.</span><span>
</span><span id="line-146"></span><span id="local-6989586621679626140"><span id="local-6989586621679626141"><span id="local-6989586621679626142"><span class="annot"><a href="Distribution.Types.CondTree.html#extractCondition"><span class="hs-identifier hs-type">extractCondition</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Eq</span></span><span> </span><span class="annot"><a href="#local-6989586621679626142"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="#local-6989586621679626141"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Bool</span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626142"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626140"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626141"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.Condition.html#Condition"><span class="hs-identifier hs-type">Condition</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626142"><span class="hs-identifier hs-type">v</span></a></span></span></span></span><span>
</span><span id="line-147"></span><span id="extractCondition"><span class="annot"><span class="annottext">extractCondition :: forall v a c. Eq v =&gt; (a -&gt; Bool) -&gt; CondTree v c a -&gt; Condition v
</span><a href="Distribution.Types.CondTree.html#extractCondition"><span class="hs-identifier hs-var hs-var">extractCondition</span></a></span></span><span> </span><span id="local-6989586621679625294"><span class="annot"><span class="annottext">a -&gt; Bool
</span><a href="#local-6989586621679625294"><span class="hs-identifier hs-var">p</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">CondTree v c a -&gt; Condition v
forall {a} {c}. Eq a =&gt; CondTree a c a -&gt; Condition a
</span><a href="#local-6989586621679625293"><span class="hs-identifier hs-var">go</span></a></span><span>
</span><span id="line-148"></span><span>  </span><span class="hs-keyword">where</span><span>
</span><span id="line-149"></span><span>    </span><span id="local-6989586621679625293"><span class="annot"><span class="annottext">go :: CondTree a c a -&gt; Condition a
</span><a href="#local-6989586621679625293"><span class="hs-identifier hs-var hs-var">go</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondNode"><span class="hs-identifier hs-type">CondNode</span></a></span><span> </span><span id="local-6989586621679625290"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679625290"><span class="hs-identifier hs-var">x</span></a></span></span><span> </span><span class="annot"><span class="annottext">c
</span><span class="hs-identifier">_</span></span><span> </span><span id="local-6989586621679625289"><span class="annot"><span class="annottext">[CondBranch a c a]
</span><a href="#local-6989586621679625289"><span class="hs-identifier hs-var">cs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">|</span><span> </span><span class="annot"><span class="annottext">Bool -&gt; Bool
</span><span class="hs-identifier hs-var">not</span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">a -&gt; Bool
</span><a href="#local-6989586621679625294"><span class="hs-identifier hs-var">p</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679625290"><span class="hs-identifier hs-var">x</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Bool -&gt; Condition a
forall c. Bool -&gt; Condition c
</span><a href="Distribution.Types.Condition.html#Lit"><span class="hs-identifier hs-var">Lit</span></a></span><span> </span><span class="annot"><span class="annottext">Bool
</span><span class="hs-identifier hs-var">False</span></span><span>
</span><span id="line-150"></span><span>                         </span><span class="hs-glyph">|</span><span> </span><span class="annot"><span class="annottext">Bool
</span><a href="../../base/src/GHC.Base.html#otherwise"><span class="hs-identifier hs-var">otherwise</span></a></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[CondBranch a c a] -&gt; Condition a
</span><a href="#local-6989586621679625286"><span class="hs-identifier hs-var">goList</span></a></span><span> </span><span class="annot"><span class="annottext">[CondBranch a c a]
</span><a href="#local-6989586621679625289"><span class="hs-identifier hs-var">cs</span></a></span><span>
</span><span id="line-151"></span><span>
</span><span id="line-152"></span><span>    </span><span id="local-6989586621679625286"><span class="annot"><span class="annottext">goList :: [CondBranch a c a] -&gt; Condition a
</span><a href="#local-6989586621679625286"><span class="hs-identifier hs-var hs-var">goList</span></a></span></span><span> </span><span class="hs-special">[</span><span class="hs-special">]</span><span>               </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Bool -&gt; Condition a
forall c. Bool -&gt; Condition c
</span><a href="Distribution.Types.Condition.html#Lit"><span class="hs-identifier hs-var">Lit</span></a></span><span> </span><span class="annot"><span class="annottext">Bool
</span><span class="hs-identifier hs-var">True</span></span><span>
</span><span id="line-153"></span><span>    </span><span class="annot"><a href="#local-6989586621679625286"><span class="hs-identifier hs-var">goList</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span id="local-6989586621679625285"><span class="annot"><span class="annottext">Condition a
</span><a href="#local-6989586621679625285"><span class="hs-identifier hs-var">c</span></a></span></span><span> </span><span id="local-6989586621679625284"><span class="annot"><span class="annottext">CondTree a c a
</span><a href="#local-6989586621679625284"><span class="hs-identifier hs-var">t</span></a></span></span><span> </span><span id="local-6989586621679625283"><span class="annot"><span class="annottext">Maybe (CondTree a c a)
</span><a href="#local-6989586621679625283"><span class="hs-identifier hs-var">e</span></a></span></span><span> </span><span class="annot"><span class="hs-glyph hs-type">:</span></span><span> </span><span id="local-6989586621679625282"><span class="annot"><span class="annottext">[CondBranch a c a]
</span><a href="#local-6989586621679625282"><span class="hs-identifier hs-var">cs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span>
</span><span id="line-154"></span><span>      </span><span class="hs-keyword">let</span><span>
</span><span id="line-155"></span><span>        </span><span id="local-6989586621679625281"><span class="annot"><span class="annottext">ct :: Condition a
</span><a href="#local-6989586621679625281"><span class="hs-identifier hs-var hs-var">ct</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">CondTree a c a -&gt; Condition a
</span><a href="#local-6989586621679625293"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="annot"><span class="annottext">CondTree a c a
</span><a href="#local-6989586621679625284"><span class="hs-identifier hs-var">t</span></a></span><span>
</span><span id="line-156"></span><span>        </span><span id="local-6989586621679625280"><span class="annot"><span class="annottext">ce :: Condition a
</span><a href="#local-6989586621679625280"><span class="hs-identifier hs-var hs-var">ce</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Condition a
-&gt; (CondTree a c a -&gt; Condition a)
-&gt; Maybe (CondTree a c a)
-&gt; Condition a
forall b a. b -&gt; (a -&gt; b) -&gt; Maybe a -&gt; b
</span><a href="../../base/src/Data.Maybe.html#maybe"><span class="hs-identifier hs-var">maybe</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">Bool -&gt; Condition a
forall c. Bool -&gt; Condition c
</span><a href="Distribution.Types.Condition.html#Lit"><span class="hs-identifier hs-var">Lit</span></a></span><span> </span><span class="annot"><span class="annottext">Bool
</span><span class="hs-identifier hs-var">True</span></span><span class="hs-special">)</span><span> </span><span class="annot"><span class="annottext">CondTree a c a -&gt; Condition a
</span><a href="#local-6989586621679625293"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="annot"><span class="annottext">Maybe (CondTree a c a)
</span><a href="#local-6989586621679625283"><span class="hs-identifier hs-var">e</span></a></span><span>
</span><span id="line-157"></span><span>      </span><span class="hs-keyword">in</span><span>
</span><span id="line-158"></span><span>        </span><span class="hs-special">(</span><span class="hs-special">(</span><span class="annot"><span class="annottext">Condition a
</span><a href="#local-6989586621679625285"><span class="hs-identifier hs-var">c</span></a></span><span> </span><span class="annot"><span class="annottext">Condition a -&gt; Condition a -&gt; Condition a
forall a. Condition a -&gt; Condition a -&gt; Condition a
</span><a href="Distribution.Types.Condition.html#cAnd"><span class="hs-operator hs-var">`cAnd`</span></a></span><span> </span><span class="annot"><span class="annottext">Condition a
</span><a href="#local-6989586621679625281"><span class="hs-identifier hs-var">ct</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><span class="annottext">Condition a -&gt; Condition a -&gt; Condition a
forall v. Eq v =&gt; Condition v -&gt; Condition v -&gt; Condition v
</span><a href="Distribution.Types.Condition.html#cOr"><span class="hs-operator hs-var">`cOr`</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">Condition a -&gt; Condition a
forall c. Condition c -&gt; Condition c
</span><a href="Distribution.Types.Condition.html#CNot"><span class="hs-identifier hs-var">CNot</span></a></span><span> </span><span class="annot"><span class="annottext">Condition a
</span><a href="#local-6989586621679625285"><span class="hs-identifier hs-var">c</span></a></span><span> </span><span class="annot"><span class="annottext">Condition a -&gt; Condition a -&gt; Condition a
forall a. Condition a -&gt; Condition a -&gt; Condition a
</span><a href="Distribution.Types.Condition.html#cAnd"><span class="hs-operator hs-var">`cAnd`</span></a></span><span> </span><span class="annot"><span class="annottext">Condition a
</span><a href="#local-6989586621679625280"><span class="hs-identifier hs-var">ce</span></a></span><span class="hs-special">)</span><span class="hs-special">)</span><span> </span><span class="annot"><span class="annottext">Condition a -&gt; Condition a -&gt; Condition a
forall a. Condition a -&gt; Condition a -&gt; Condition a
</span><a href="Distribution.Types.Condition.html#cAnd"><span class="hs-operator hs-var">`cAnd`</span></a></span><span> </span><span class="annot"><span class="annottext">[CondBranch a c a] -&gt; Condition a
</span><a href="#local-6989586621679625286"><span class="hs-identifier hs-var">goList</span></a></span><span> </span><span class="annot"><span class="annottext">[CondBranch a c a]
</span><a href="#local-6989586621679625282"><span class="hs-identifier hs-var">cs</span></a></span><span>
</span><span id="line-159"></span><span>
</span><span id="line-160"></span><span class="hs-comment">-- | Flattens a CondTree using a partial flag assignment.  When a condition</span><span>
</span><span id="line-161"></span><span class="hs-comment">-- cannot be evaluated, both branches are ignored.</span><span>
</span><span id="line-162"></span><span id="local-6989586621679626128"><span id="local-6989586621679626129"><span id="local-6989586621679626130"><span class="annot"><a href="Distribution.Types.CondTree.html#simplifyCondTree"><span class="hs-identifier hs-type">simplifyCondTree</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="../../base/src/GHC.Base.html#Semigroup"><span class="hs-identifier hs-type">Semigroup</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626130"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/GHC.Base.html#Semigroup"><span class="hs-identifier hs-type">Semigroup</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626129"><span class="hs-identifier hs-type">d</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=&gt;</span><span>
</span><span id="line-163"></span><span>                    </span><span class="hs-special">(</span><span class="annot"><a href="#local-6989586621679626128"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="../../base/src/Data.Either.html#Either"><span class="hs-identifier hs-type">Either</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626128"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><span class="hs-identifier hs-type">Bool</span></span><span class="hs-special">)</span><span>
</span><span id="line-164"></span><span>                 </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626128"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626129"><span class="hs-identifier hs-type">d</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626130"><span class="hs-identifier hs-type">a</span></a></span><span>
</span><span id="line-165"></span><span>                 </span><span class="hs-glyph">-&gt;</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="#local-6989586621679626129"><span class="hs-identifier hs-type">d</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="#local-6989586621679626130"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span></span></span><span>
</span><span id="line-166"></span><span id="simplifyCondTree"><span class="annot"><span class="annottext">simplifyCondTree :: forall a d v.
(Semigroup a, Semigroup d) =&gt;
(v -&gt; Either v Bool) -&gt; CondTree v d a -&gt; (d, a)
</span><a href="Distribution.Types.CondTree.html#simplifyCondTree"><span class="hs-identifier hs-var hs-var">simplifyCondTree</span></a></span></span><span> </span><span id="local-6989586621679625268"><span class="annot"><span class="annottext">v -&gt; Either v Bool
</span><a href="#local-6989586621679625268"><span class="hs-identifier hs-var">env</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondNode"><span class="hs-identifier hs-type">CondNode</span></a></span><span> </span><span id="local-6989586621679625267"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679625267"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621679625266"><span class="annot"><span class="annottext">d
</span><a href="#local-6989586621679625266"><span class="hs-identifier hs-var">d</span></a></span></span><span> </span><span id="local-6989586621679625265"><span class="annot"><span class="annottext">[CondBranch v d a]
</span><a href="#local-6989586621679625265"><span class="hs-identifier hs-var">ifs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span>
</span><span id="line-167"></span><span>    </span><span class="annot"><span class="annottext">((d, a) -&gt; (d, a) -&gt; (d, a)) -&gt; (d, a) -&gt; [(d, a)] -&gt; (d, a)
forall (t :: * -&gt; *) b a.
Foldable t =&gt;
(b -&gt; a -&gt; b) -&gt; b -&gt; t a -&gt; b
</span><a href="../../base/src/Data.Foldable.html#foldl"><span class="hs-identifier hs-var">foldl</span></a></span><span> </span><span class="annot"><span class="annottext">(d, a) -&gt; (d, a) -&gt; (d, a)
forall a. Semigroup a =&gt; a -&gt; a -&gt; a
</span><a href="../../base/src/GHC.Base.html#%3C%3E"><span class="hs-operator hs-var">(&lt;&gt;)</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">d
</span><a href="#local-6989586621679625266"><span class="hs-identifier hs-var">d</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679625267"><span class="hs-identifier hs-var">a</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><span class="annottext">([(d, a)] -&gt; (d, a)) -&gt; [(d, a)] -&gt; (d, a)
forall a b. (a -&gt; b) -&gt; a -&gt; b
</span><a href="../../base/src/GHC.Base.html#%24"><span class="hs-operator hs-var">$</span></a></span><span> </span><span class="annot"><span class="annottext">(CondBranch v d a -&gt; Maybe (d, a))
-&gt; [CondBranch v d a] -&gt; [(d, a)]
forall a b. (a -&gt; Maybe b) -&gt; [a] -&gt; [b]
</span><a href="../../base/src/Data.Maybe.html#mapMaybe"><span class="hs-identifier hs-var">mapMaybe</span></a></span><span> </span><span class="annot"><span class="annottext">CondBranch v d a -&gt; Maybe (d, a)
forall {a} {d}.
(Semigroup a, Semigroup d) =&gt;
CondBranch v d a -&gt; Maybe (d, a)
</span><a href="#local-6989586621679625262"><span class="hs-identifier hs-var">simplifyIf</span></a></span><span> </span><span class="annot"><span class="annottext">[CondBranch v d a]
</span><a href="#local-6989586621679625265"><span class="hs-identifier hs-var">ifs</span></a></span><span>
</span><span id="line-168"></span><span>  </span><span class="hs-keyword">where</span><span>
</span><span id="line-169"></span><span>    </span><span id="local-6989586621679625262"><span class="annot"><span class="annottext">simplifyIf :: CondBranch v d a -&gt; Maybe (d, a)
</span><a href="#local-6989586621679625262"><span class="hs-identifier hs-var hs-var">simplifyIf</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span id="local-6989586621679625254"><span class="annot"><span class="annottext">Condition v
</span><a href="#local-6989586621679625254"><span class="hs-identifier hs-var">cnd</span></a></span></span><span> </span><span id="local-6989586621679625253"><span class="annot"><span class="annottext">CondTree v d a
</span><a href="#local-6989586621679625253"><span class="hs-identifier hs-var">t</span></a></span></span><span> </span><span id="local-6989586621679625252"><span class="annot"><span class="annottext">Maybe (CondTree v d a)
</span><a href="#local-6989586621679625252"><span class="hs-identifier hs-var">me</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span>
</span><span id="line-170"></span><span>        </span><span class="hs-keyword">case</span><span> </span><span class="annot"><span class="annottext">Condition v -&gt; (v -&gt; Either v Bool) -&gt; (Condition v, [v])
forall c d.
Condition c -&gt; (c -&gt; Either d Bool) -&gt; (Condition d, [d])
</span><a href="Distribution.Types.Condition.html#simplifyCondition"><span class="hs-identifier hs-var">simplifyCondition</span></a></span><span> </span><span class="annot"><span class="annottext">Condition v
</span><a href="#local-6989586621679625254"><span class="hs-identifier hs-var">cnd</span></a></span><span> </span><span class="annot"><span class="annottext">v -&gt; Either v Bool
</span><a href="#local-6989586621679625268"><span class="hs-identifier hs-var">env</span></a></span><span> </span><span class="hs-keyword">of</span><span>
</span><span id="line-171"></span><span>          </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.Condition.html#Lit"><span class="hs-identifier hs-type">Lit</span></a></span><span> </span><span class="annot"><span class="annottext">Bool
</span><span class="hs-identifier hs-var">True</span></span><span class="hs-special">,</span><span> </span><span class="annot"><span class="annottext">[v]
</span><span class="hs-identifier">_</span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="annottext">(d, a) -&gt; Maybe (d, a)
forall a. a -&gt; Maybe a
</span><a href="../../base/src/GHC.Maybe.html#Just"><span class="hs-identifier hs-var">Just</span></a></span><span> </span><span class="annot"><span class="annottext">((d, a) -&gt; Maybe (d, a)) -&gt; (d, a) -&gt; Maybe (d, a)
forall a b. (a -&gt; b) -&gt; a -&gt; b
</span><a href="../../base/src/GHC.Base.html#%24"><span class="hs-operator hs-var">$</span></a></span><span> </span><span class="annot"><span class="annottext">(v -&gt; Either v Bool) -&gt; CondTree v d a -&gt; (d, a)
forall a d v.
(Semigroup a, Semigroup d) =&gt;
(v -&gt; Either v Bool) -&gt; CondTree v d a -&gt; (d, a)
</span><a href="Distribution.Types.CondTree.html#simplifyCondTree"><span class="hs-identifier hs-var">simplifyCondTree</span></a></span><span> </span><span class="annot"><span class="annottext">v -&gt; Either v Bool
</span><a href="#local-6989586621679625268"><span class="hs-identifier hs-var">env</span></a></span><span> </span><span class="annot"><span class="annottext">CondTree v d a
</span><a href="#local-6989586621679625253"><span class="hs-identifier hs-var">t</span></a></span><span>
</span><span id="line-172"></span><span>          </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.Condition.html#Lit"><span class="hs-identifier hs-type">Lit</span></a></span><span> </span><span class="annot"><span class="annottext">Bool
</span><span class="hs-identifier hs-var">False</span></span><span class="hs-special">,</span><span> </span><span class="annot"><span class="annottext">[v]
</span><span class="hs-identifier">_</span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="annottext">(CondTree v d a -&gt; (d, a))
-&gt; Maybe (CondTree v d a) -&gt; Maybe (d, a)
forall (f :: * -&gt; *) a b. Functor f =&gt; (a -&gt; b) -&gt; f a -&gt; f b
</span><a href="../../base/src/GHC.Base.html#fmap"><span class="hs-identifier hs-var">fmap</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">(v -&gt; Either v Bool) -&gt; CondTree v d a -&gt; (d, a)
forall a d v.
(Semigroup a, Semigroup d) =&gt;
(v -&gt; Either v Bool) -&gt; CondTree v d a -&gt; (d, a)
</span><a href="Distribution.Types.CondTree.html#simplifyCondTree"><span class="hs-identifier hs-var">simplifyCondTree</span></a></span><span> </span><span class="annot"><span class="annottext">v -&gt; Either v Bool
</span><a href="#local-6989586621679625268"><span class="hs-identifier hs-var">env</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><span class="annottext">Maybe (CondTree v d a)
</span><a href="#local-6989586621679625252"><span class="hs-identifier hs-var">me</span></a></span><span>
</span><span id="line-173"></span><span>          </span><span class="annot"><span class="annottext">(Condition v, [v])
</span><span class="hs-identifier">_</span></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="annottext">Maybe (d, a)
forall a. Maybe a
</span><a href="../../base/src/GHC.Maybe.html#Nothing"><span class="hs-identifier hs-var">Nothing</span></a></span><span>
</span><span id="line-174"></span><span>
</span><span id="line-175"></span><span class="hs-comment">-- | Flatten a CondTree.  This will resolve the CondTree by taking all</span><span>
</span><span id="line-176"></span><span class="hs-comment">--  possible paths into account.  Note that since branches represent exclusive</span><span>
</span><span id="line-177"></span><span class="hs-comment">--  choices this may not result in a \&quot;sane\&quot; result.</span><span>
</span><span id="line-178"></span><span id="local-6989586621679626110"><span id="local-6989586621679626111"><span id="local-6989586621679626112"><span class="annot"><a href="Distribution.Types.CondTree.html#ignoreConditions"><span class="hs-identifier hs-type">ignoreConditions</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="../../base/src/GHC.Base.html#Semigroup"><span class="hs-identifier hs-type">Semigroup</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626112"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/GHC.Base.html#Semigroup"><span class="hs-identifier hs-type">Semigroup</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626111"><span class="hs-identifier hs-type">c</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="Distribution.Types.CondTree.html#CondTree"><span class="hs-identifier hs-type">CondTree</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626110"><span class="hs-identifier hs-type">v</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626111"><span class="hs-identifier hs-type">c</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679626112"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="#local-6989586621679626112"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="#local-6989586621679626111"><span class="hs-identifier hs-type">c</span></a></span><span class="hs-special">)</span></span></span></span><span>
</span><span id="line-179"></span><span id="ignoreConditions"><span class="annot"><span class="annottext">ignoreConditions :: forall a c v.
(Semigroup a, Semigroup c) =&gt;
CondTree v c a -&gt; (a, c)
</span><a href="Distribution.Types.CondTree.html#ignoreConditions"><span class="hs-identifier hs-var hs-var">ignoreConditions</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondNode"><span class="hs-identifier hs-type">CondNode</span></a></span><span> </span><span id="local-6989586621679625243"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679625243"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621679625242"><span class="annot"><span class="annottext">c
</span><a href="#local-6989586621679625242"><span class="hs-identifier hs-var">c</span></a></span></span><span> </span><span id="local-6989586621679625241"><span class="annot"><span class="annottext">[CondBranch v c a]
</span><a href="#local-6989586621679625241"><span class="hs-identifier hs-var">ifs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">((a, c) -&gt; (a, c) -&gt; (a, c)) -&gt; (a, c) -&gt; [(a, c)] -&gt; (a, c)
forall (t :: * -&gt; *) b a.
Foldable t =&gt;
(b -&gt; a -&gt; b) -&gt; b -&gt; t a -&gt; b
</span><a href="../../base/src/Data.Foldable.html#foldl"><span class="hs-identifier hs-var">foldl</span></a></span><span> </span><span class="annot"><span class="annottext">(a, c) -&gt; (a, c) -&gt; (a, c)
forall a. Semigroup a =&gt; a -&gt; a -&gt; a
</span><a href="../../base/src/GHC.Base.html#%3C%3E"><span class="hs-operator hs-var">(&lt;&gt;)</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679625243"><span class="hs-identifier hs-var">a</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><span class="annottext">c
</span><a href="#local-6989586621679625242"><span class="hs-identifier hs-var">c</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><span class="annottext">([(a, c)] -&gt; (a, c)) -&gt; [(a, c)] -&gt; (a, c)
forall a b. (a -&gt; b) -&gt; a -&gt; b
</span><a href="../../base/src/GHC.Base.html#%24"><span class="hs-operator hs-var">$</span></a></span><span> </span><span class="annot"><span class="annottext">(CondBranch v c a -&gt; [(a, c)]) -&gt; [CondBranch v c a] -&gt; [(a, c)]
forall (t :: * -&gt; *) a b. Foldable t =&gt; (a -&gt; [b]) -&gt; t a -&gt; [b]
</span><a href="../../base/src/Data.Foldable.html#concatMap"><span class="hs-identifier hs-var">concatMap</span></a></span><span> </span><span class="annot"><span class="annottext">CondBranch v c a -&gt; [(a, c)]
forall {a} {c} {v}.
(Semigroup a, Semigroup c) =&gt;
CondBranch v c a -&gt; [(a, c)]
</span><a href="#local-6989586621679625239"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">[CondBranch v c a]
</span><a href="#local-6989586621679625241"><span class="hs-identifier hs-var">ifs</span></a></span><span>
</span><span id="line-180"></span><span>  </span><span class="hs-keyword">where</span><span> </span><span id="local-6989586621679625239"><span class="annot"><span class="annottext">f :: CondBranch v c a -&gt; [(a, c)]
</span><a href="#local-6989586621679625239"><span class="hs-identifier hs-var hs-var">f</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Types.CondTree.html#CondBranch"><span class="hs-identifier hs-type">CondBranch</span></a></span><span> </span><span class="annot"><span class="annottext">Condition v
</span><span class="hs-identifier">_</span></span><span> </span><span id="local-6989586621679625231"><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625231"><span class="hs-identifier hs-var">t</span></a></span></span><span> </span><span id="local-6989586621679625230"><span class="annot"><span class="annottext">Maybe (CondTree v c a)
</span><a href="#local-6989586621679625230"><span class="hs-identifier hs-var">me</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">CondTree v c a -&gt; (a, c)
forall a c v.
(Semigroup a, Semigroup c) =&gt;
CondTree v c a -&gt; (a, c)
</span><a href="Distribution.Types.CondTree.html#ignoreConditions"><span class="hs-identifier hs-var">ignoreConditions</span></a></span><span> </span><span class="annot"><span class="annottext">CondTree v c a
</span><a href="#local-6989586621679625231"><span class="hs-identifier hs-var">t</span></a></span><span>
</span><span id="line-181"></span><span>                       </span><span class="annot"><span class="annottext">(a, c) -&gt; [(a, c)] -&gt; [(a, c)]
forall a. a -&gt; [a] -&gt; [a]
</span><span class="hs-glyph hs-var">:</span></span><span> </span><span class="annot"><span class="annottext">Maybe (a, c) -&gt; [(a, c)]
forall a. Maybe a -&gt; [a]
</span><a href="../../base/src/Data.Maybe.html#maybeToList"><span class="hs-identifier hs-var">maybeToList</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">(CondTree v c a -&gt; (a, c))
-&gt; Maybe (CondTree v c a) -&gt; Maybe (a, c)
forall (f :: * -&gt; *) a b. Functor f =&gt; (a -&gt; b) -&gt; f a -&gt; f b
</span><a href="../../base/src/GHC.Base.html#fmap"><span class="hs-identifier hs-var">fmap</span></a></span><span> </span><span class="annot"><span class="annottext">CondTree v c a -&gt; (a, c)
forall a c v.
(Semigroup a, Semigroup c) =&gt;
CondTree v c a -&gt; (a, c)
</span><a href="Distribution.Types.CondTree.html#ignoreConditions"><span class="hs-identifier hs-var">ignoreConditions</span></a></span><span> </span><span class="annot"><span class="annottext">Maybe (CondTree v c a)
</span><a href="#local-6989586621679625230"><span class="hs-identifier hs-var">me</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-182"></span></pre></body></html>